Louis Couturat -Traité de Logique algorithmique
The manuscript of the Traité 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 manuscri...
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Basel :
Birkhäuser Basel
2010.
|
| Colección: | Publications des Archives Henri Poincaré.
Springer eBooks. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b32942527*spi |
Tabla de Contenidos:
- Transcription of the Manuscript
- Définitions et notations : A. Logique des concepts
- Définitions et notations : B. Logique des propositions
- Principes
- Lois de la multiplication et de l’addition
- Lois de la négationa
- Développement des fonctions
- Théorie des équations
- Sur les opérations inverses : Soustraction et division
- Théorie des inégalités
- Calcul des propositions constantesa
- Calcul des jugements variables (ou des probabilités)1
- Comparaison avec la Logique classique1
- Conclusions
- Critical Apparatus
- Variants and Annotations.
