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

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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

Keywords

General Mathematics, 03B10

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/110316

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0603604
 http://arxiv.org/abs/math/0603604

Collections

arXiv