Inconsistency of Primitive Recursive Arithmetic
Logic
2015-10-01 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1509.09209,
title = {Inconsistency of Primitive Recursive Arithmetic},
author = {Edward Nelson},
journal= {arXiv preprint arXiv:1509.09209},
year = {2015}
}
Comments
With an introduction by Sarah Jones Nelson, an afterword by Sam Buss and Terence Tao, and an appendix on qea. 47 Pages