Gödel’s Reading of Peano’s Arithmetices Principia

Philosophia Scientiae 25:185-192 (2021)
  Copy   BIBTEX

Abstract

In preparation for his article on Russell’s mathematical logic, 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.

Categories

Add categories

Keywords

Reprint years

DOI

10.4000/philosophiascientiae.2821

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Gödel’s Reading of Peano’s Arithmetices Principia.Jan von Plato - 2021 - Philosophia Scientiae 25:185-192.
Wittgenstein and Gödel: An Attempt to Make ‘Wittgenstein’s Objection’ Reasonable†.Timm Lampert - 2018 - Philosophia Mathematica 26 (3):324-345.
A new reading and comparative interpretation of Gödel’s completeness (1930) and incompleteness (1931) theorems.Vasil Penchev - 2016 - Логико-Философские Штудии 13 (2):187-188.
Peano’s Reception in the USA. Wilson’s Review of Russell’s Principles.Gabriele Lolli - 2021 - Philosophia Scientiae 25:49-67.
Peano and the Debate on Infinitesimals.Paolo Freguglia - 2021 - Philosophia Scientiae 25:145-156.
Giuseppe Peano and his School: Axiomatics, Symbolism and Rigor.Paola Luciano Cantù - 2021 - Philosophia Scientiae 25:3-14.
Frege, Peano and the Interplay between Logic and Mathematics.Joan Bertran-San Millán - 2021 - Philosophia Scientiae 25 (1):15-34.
Alessandro Terracini. Prefazione. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 5–7. - Beppo Levi. L'opera matematica di Giuseppe Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 9–21. - Guido Ascoli. I motivi fondamentali dell'opera di Giuseppe Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 23–30. - Beniamino Segre. Peano ed il Bourbakismo. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 31–39. - Francesco Barone. Un'apertura filosofica della logica simbolica peaniana. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 41–50. - Ludovico Geymonat. I fondamenti dell'aritmetica secondo Peano e le obiezioni “filosofiche” di B. Russell. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 51–63. - Tommaso Boggio. Il calcolo geometrico di Peano. In memoria di Giuseppe Peano, Presso. [REVIEW]Robert Feys - 1957 - Journal of Symbolic Logic 22 (3):306-307.
Completude Diz-se em Vários Sentidos: Completeness can be Said in Several Meanings.Edelcio Gonçalves de Souza - 2004 - Cognitio 5 (2):78-82.
Frege, Peano and the Interplay between Logic and Mathematics.Joan Bertran-San Millán - 2021 - Philosophia Scientiae 25:15-34.
Peano on Symbolization, Design Principles for Notations, and the Dot Notation.Dirk Schlimm - 2021 - Philosophia Scientiae 25:95-126.
The mathematical philosophy of Giuseppe peano.Hubert C. Kennedy - 1963 - Philosophy of Science 30 (3):262-266.
Il carteggio fra Peano e Camillo Berneri.Enrico Pasini - 2001 - In Clara Silvia Roero (ed.), Giuseppe Peano. Matematica, Cultura E Società. L’Artistica. pp. 49-59.
A constructive analysis of learning in Peano Arithmetic.Federico Aschieri - 2012 - Annals of Pure and Applied Logic 163 (11):1448-1470.
Peano e la filosofia della matematica.Enrico Pasini - 2004 - In Elisa Gallo - Livia Giacardi - Clara Silvia Roero (ed.), Conferenze E Seminari 2003-2004. Associazione Subalpina Mathesis. pp. 203-220.

Analytics

Added to PP
2021-06-20

Downloads
9 (#1,214,023)

6 months
3 (#1,002,198)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references