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...

Descripción completa

Detalles Bibliográficos
Autores principales: Schlaudt, Oliver, Sakhri, Mohsen
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