Gödel’s Reading of Peano’s Arithmetices Principia
RésuméPour préparer son article sur la logique mathématique de Russell (1944), Gödel a lu attentivement les Arithmetices Principia de Peano. Les six pages résumant l’œuvre péanienne qu’il a écrites en employant la sténographie de Gabelsberger contiennent une analyse remarquable de la structure form...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Article ou chapitre numérique |
| Jazyk: | Français |
| Vydáno: |
2021
|
| On-line přístup: | Accès Université d'Orléans et IFPM |
| Shrnutí: | RésuméPour préparer son article sur la logique mathématique de Russell (1944), Gödel a lu attentivement les Arithmetices Principia de Peano. Les six pages résumant l’œuvre péanienne qu’il a écrites en employant la sténographie de Gabelsberger contiennent une analyse remarquable de la structure formelle des preuves de Peano, en contradiction manifeste avec l’opinion commune selon laquelle le traité de Peano ne contiendrait aucun mécanisme déductif formel. |
|---|