arXiv Analytics

Sign in

arXiv:1509.09209 [math.LO]AbstractReferencesReviewsResources

Inconsistency of Primitive Recursive Arithmetic

Edward Nelson

Published 2015-09-30Version 1

The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent, to construct firm foundations for mathematics, and to begin building on these foundations.

Comments: With an introduction by Sarah Jones Nelson, an afterword by Sam Buss and Terence Tao, and an appendix on qea. 47 Pages
Categories: math.LO
Subjects: 03F30, 03F03, 03A99
Related articles: Most relevant | Search more
arXiv:1510.00369 [math.LO] (Published 2015-09-30)
Elements
arXiv:1512.05122 [math.LO] (Published 2015-12-16)
A Uniform Characterization of $Σ_1$-Reflection over the Fragments of Peano Arithmetic
arXiv:1601.08214 [math.LO] (Published 2016-01-29)
Slow Reflection

Links

Toolbox