Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/110316We 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.htmGeneral Mathematics03B10Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualificationtext