Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
Abstract
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 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2021
- DOI:
- 10.48550/arXiv.2102.13141
- arXiv:
- arXiv:2102.13141
- Bibcode:
- 2021arXiv210213141K
- Keywords:
-
- Mathematics - Logic