Louis Couturat -Traité de Logique algorithmique

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Schlaudt, Oliver (Επιμελητής έκδοσης), Sakhri, Mohsen (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Basel : Birkhäuser Basel, 2010.
• Σειρά: Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
• Θέματα: Mathematics.; History.; History of Mathematical Sciences.

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

Πίνακας περιεχομένων:

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