In the Handbook of Mathematical Logic, the Paris-Harrington variant of Ramsey's theorem is celebrated as the first result of a long ‘search’ for a purely mathematical incompleteness result in first-order Peano arithmetic. This paper questions the existence of any such search and the status of the Paris-Harrington result as the first mathematical incompleteness result. In fact, I argue that Gentzen gave the first such result, and that it was restated by Goodstein in a number-theoretic form.
...More
Thesis
David E. Dunning;
(2020)
Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937
(/isis/citation/CBB517005733/)
Book
Juliette Kennedy;
(2014)
Interpreting Godel: Critical Essays
(/isis/citation/CBB427455296/)
Article
Márcia R. Cerioli;
Hugo Nobrega;
Guilherme Silveira;
Petrucio Viana;
(2022)
On the (In)Dependence of the Peano Axioms for Natural Numbers
(/isis/citation/CBB173126247/)
Article
Luciano, Erika;
(2006)
At the Origins of Functional Analysis: G. Peano and M. Gramegna on Ordinary Differential Equations
(/isis/citation/CBB000770911/)
Article
Franks, Curtis;
(2009)
The Gödelian Inferences
(/isis/citation/CBB001211043/)
Article
Karela, Catherine;
(2010)
Hilbert on Different Notions of Completeness: A Conceptual and Historical Analysis
(/isis/citation/CBB001220619/)
Book
Ricketts, Tom;
Potter, Michael D.;
(2010)
The Cambridge Companion to Frege
(/isis/citation/CBB001211647/)
Book
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
Article
Nikolay Milkov;
(2016)
Walter Dubislav’s Philosophy of Science and Mathematics
(/isis/citation/CBB827471050/)
Article
Mark Textor;
(2021)
Saying Something about a Concept: Frege on Statements of Number
(/isis/citation/CBB227044624/)
Chapter
Goldfarb, Warren;
(2010)
Frege's Conception of Logic
(/isis/citation/CBB001211649/)
Book
Künne, Wolfgang;
(2010)
Die Philosophische Logik Gottlob Freges: ein Kommentar; mit den Texten des Vorworts zu Grundgesetze der Arithmetik und der Logischen Untersuchungen I--IV
(/isis/citation/CBB001210615/)
Article
Dea, Shannon;
(2006)
“Merely a veil over the living thought”: Mathematics and Logic in Peirce's Forgotten Spinoza Review
(/isis/citation/CBB001023424/)
Book
Elena Anne Corie Marchisotto;
Francisco Rodriguez-Consuegra;
James T. Smith;
(2021)
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics
(/isis/citation/CBB763111584/)
Book
Gauthier, Yvon;
(2002)
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
(/isis/citation/CBB000301820/)
Book
Peano, Giuseppe;
Couturat, Louis;
Luciano, Erika;
Roero, Clara Silvia;
(2005)
Carteggio: 1896--1914
(/isis/citation/CBB000954373/)
Chapter
Hylton, Peter;
(2010)
Frege and Russell
(/isis/citation/CBB001211659/)
Chapter
Galavotti, Maria Carla;
(2008)
A Tribute to Janina Hosiasson Lindenbaum, a Philosopher Victim of the Holocaust
(/isis/citation/CBB001023492/)
Book
Linsky, Bernard;
(2011)
The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition
(/isis/citation/CBB001221112/)
Article
Nadezda Orlova;
Sergei Soloviev;
(2019)
Logic and Logicians in Russia Before 1917: Living in a Wider World
(/isis/citation/CBB862443616/)
Be the first to comment!