Gödel’s Reading of Peano’s Arithmetices Principia
In preparation for his article on Russell’s mathematical logic (1944), Gödel read carefully Peano’s Arithmetices Principia. His six pages of summary in the Gabelsberger shorthand contain a remarkable analysis of the formal structure of Peano’s proofs which is diametrically opposed to the common view...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Éditions Kimé
2021-02-01
|
| Series: | Philosophia Scientiæ |
| Online Access: | http://journals.openedition.org/philosophiascientiae/2821 |
| _version_ | 1797402589318348800 |
|---|---|
| author | Jan von Plato |
| author_facet | Jan von Plato |
| author_sort | Jan von Plato |
| collection | DOAJ |
| description | In preparation for his article on Russell’s mathematical logic (1944), Gödel read carefully Peano’s Arithmetices Principia. His six pages of summary in the Gabelsberger shorthand contain a remarkable analysis of the formal structure of Peano’s proofs which is diametrically opposed to the common view that Peano’s treatise contained no formal deductive machinery. |
| first_indexed | 2024-03-09T02:26:29Z |
| format | Article |
| id | doaj.art-2fc766e08d11454ca7d729affeb37bd0 |
| institution | Directory Open Access Journal |
| issn | 1281-2463 1775-4283 |
| language | deu |
| last_indexed | 2024-03-09T02:26:29Z |
| publishDate | 2021-02-01 |
| publisher | Éditions Kimé |
| record_format | Article |
| series | Philosophia Scientiæ |
| spelling | doaj.art-2fc766e08d11454ca7d729affeb37bd02023-12-06T15:53:22ZdeuÉditions KiméPhilosophia Scientiæ1281-24631775-42832021-02-0125118519210.4000/philosophiascientiae.2821Gödel’s Reading of Peano’s Arithmetices PrincipiaJan von PlatoIn preparation for his article on Russell’s mathematical logic (1944), Gödel read carefully Peano’s Arithmetices Principia. His six pages of summary in the Gabelsberger shorthand contain a remarkable analysis of the formal structure of Peano’s proofs which is diametrically opposed to the common view that Peano’s treatise contained no formal deductive machinery.http://journals.openedition.org/philosophiascientiae/2821 |
| spellingShingle | Jan von Plato Gödel’s Reading of Peano’s Arithmetices Principia Philosophia Scientiæ |
| title | Gödel’s Reading of Peano’s Arithmetices Principia |
| title_full | Gödel’s Reading of Peano’s Arithmetices Principia |
| title_fullStr | Gödel’s Reading of Peano’s Arithmetices Principia |
| title_full_unstemmed | Gödel’s Reading of Peano’s Arithmetices Principia |
| title_short | Gödel’s Reading of Peano’s Arithmetices Principia |
| title_sort | godel s reading of peano s arithmetices principia |
| url | http://journals.openedition.org/philosophiascientiae/2821 |
| work_keys_str_mv | AT janvonplato godelsreadingofpeanosarithmeticesprincipia |