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
Descripción
Sumario: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