Cargando…
Louis Couturat -Traité de Logique algorithmique
The manuscript of "The Traite De Logique Algorithmique" resulted from lectures Couturat gave at the University of Caen in 1898/99 on recent developments in symbolic logic, on the relations of logic and mathematics, and on the scope of the methods of mathematics. It is the only one of sever...
Autores principales: | , |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2010
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1338432 |
_version_ | 1780921871522332672 |
---|---|
author | Schlaudt, Oliver Sakhri, Mohsen |
author_facet | Schlaudt, Oliver Sakhri, Mohsen |
author_sort | Schlaudt, Oliver |
collection | CERN |
description | The manuscript of "The Traite De Logique Algorithmique" resulted from lectures Couturat gave at the University of Caen in 1898/99 on recent developments in symbolic logic, on the relations of logic and mathematics, and on the scope of the methods of mathematics. It is the only one of several manuscripts Couturat mentioned in his correspondence that meanwhile has been rediscovered. It is an outstanding document of the popularization and propagation of symbolic logic around 1900. It allows to better understand the difficult relations of algebraic logic and the so-called logistic progra |
id | cern-1338432 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2010 |
publisher | Springer |
record_format | invenio |
spelling | cern-13384322021-04-22T01:06:31Zhttp://cds.cern.ch/record/1338432engSchlaudt, OliverSakhri, MohsenLouis Couturat -Traité de Logique algorithmiqueMathematical Physics and MathematicsThe manuscript of "The Traite De Logique Algorithmique" resulted from lectures Couturat gave at the University of Caen in 1898/99 on recent developments in symbolic logic, on the relations of logic and mathematics, and on the scope of the methods of mathematics. It is the only one of several manuscripts Couturat mentioned in his correspondence that meanwhile has been rediscovered. It is an outstanding document of the popularization and propagation of symbolic logic around 1900. It allows to better understand the difficult relations of algebraic logic and the so-called logistic prograSpringeroai:cds.cern.ch:13384322010 |
spellingShingle | Mathematical Physics and Mathematics Schlaudt, Oliver Sakhri, Mohsen Louis Couturat -Traité de Logique algorithmique |
title | Louis Couturat -Traité de Logique algorithmique |
title_full | Louis Couturat -Traité de Logique algorithmique |
title_fullStr | Louis Couturat -Traité de Logique algorithmique |
title_full_unstemmed | Louis Couturat -Traité de Logique algorithmique |
title_short | Louis Couturat -Traité de Logique algorithmique |
title_sort | louis couturat -traité de logique algorithmique |
topic | Mathematical Physics and Mathematics |
url | http://cds.cern.ch/record/1338432 |
work_keys_str_mv | AT schlaudtoliver louiscouturattraitedelogiquealgorithmique AT sakhrimohsen louiscouturattraitedelogiquealgorithmique |