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

Simple item page
dc.creatorAnand, Bhupinder Singh
dc.date2006-03-26
dc.date.accessioned2026-07-07T07:07:14Z
dc.date.available2026-07-07T07:07:14Z
dc.descriptionWe 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.
dc.description10 pages; an HTML version is available at http://alixcomsi.com/Why_Brouwer_was_right.htm
dc.identifierhttps://arxiv.org/abs/math/0603604
dc.identifierhttp://arxiv.org/abs/math/0603604
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/110316
dc.subjectGeneral Mathematics
dc.subject03B10
dc.titleWhy Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification
dc.typetext

Files

Collections

arXiv