Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification
arXiv:math/0603604
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.
10 pages; an HTML version is available at http://alixcomsi.com/Why_Brouwer_was_right.htm