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

Categories

Add categories

Keywords

Reprint years

DOI

10.4000/philosophiascientiae.2821

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

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.
Completeness and the Ends of Axiomatization.Michael Detlefsen - 2014 - In Juliette Cara Kennedy (ed.), Interpreting Gödel. New York: Cambridge University Press. pp. 59-77.
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.
Lucas Against Mechanism II.J. R. Lucas - 1984 - Canadian Journal of Philosophy 14 (2):189-191.
Lucas against mechanism II: A rejoinder.John R. Lucas - 1984 - Canadian Journal of Philosophy 14 (June):189-91.
The definability of the set of natural numbers in the 1925 principia mathematica.Gregory Landini - 1996 - Journal of Philosophical Logic 25 (6):597 - 615.
Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
A constructive analysis of learning in Peano Arithmetic.Federico Aschieri - 2012 - Annals of Pure and Applied Logic 163 (11):1448-1470.
Reading Descartes' Principia philosophiae-Suarezian roots of Cartesian metaphysics: Francesco Maria Spinelli's reading of the Principia philosophiae.Giulia Belgioioso - 2005 - Revue d'Histoire des Sciences 58 (1):123-144.
Il fondamento del teorema di Godel: da Peano a Frege e Russell.I. Aimonetto - 1988 - Filosofia 39 (3):231-249.
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.
Injecting uniformities into Peano arithmetic.Fernando Ferreira - 2009 - Annals of Pure and Applied Logic 157 (2-3):122-129.
Obras completas, by Gödel Kurt. Edited by Mosterín Jesús. Alianza universidad. Alianza Editorial, Madrid 1981, 430 pp.Mosterín Jesús. Prólogo. Pp. 9–13.Mosterín Jesús. Introducción. Pp. 15–19, 35–36, 41, 45–54, 91, 95–96, 101–102, 105–106, 109, 113–114, 117–119, 127–129, 147–150, 183–184, 187–188, 191, 195–196, 205–213, 295–296, 329–330, 337–339, 401–403, 413–414.Gödel Kurt. La suftciencia de los axiomas del caĺculo lógico de primer orden. Pp. 20–34. Spanish translation by Mosterín Jesús of 4182.Gödel Kurt. Un caso especial del problema de la decision en la Idgica tedrica. Pp. 37–39. Spanish translation by Mosterín Jesús of 4187.Gödel Kurt. Algunos resultados metamatemáticos sobre completudy consistencia. Pp. 42–43. Spanish translation by Mosterín Jesús of 4181.Gödel Kurt. Sobre sentencias formalmente indecidibles de Principia mathematica y sistemas afines. Pp. 55–89. Spanish translation by Mosterín Jesús of 4185 with an added note from XXXVII 405.Gödel Kurt. Sobre completud y consiste. [REVIEW]Rolando Chuaqui - 1983 - Journal of Symbolic Logic 48 (4):1199-1201.
The Right Order of Concepts: Graßmann, Peano, Gödel and the Inheritance of Leibniz's Universal Characteristic.Paola Cantu - 2014 - Philosophia Scientiae 18 (1):157-182.

Analytics

Added to PP
2021-04-01

Downloads
8 (#1,339,958)

6 months
4 (#855,130)

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