Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification
General Mathematics
2007-05-23 v1
Abstract
We reproduce Hilbert's axiomatic formalisation of Number Theory, and argue that his enunciation of the Law of the Excluded Middle is inconsistent with a Turing-verifiable model of the axioms under the standard interpretation.
Keywords
Cite
@article{arxiv.math/0603604,
title = {Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification},
author = {Bhupinder Singh Anand},
journal= {arXiv preprint arXiv:math/0603604},
year = {2007}
}
Comments
10 pages; an HTML version is available at http://alixcomsi.com/Why_Brouwer_was_right.htm