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

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

2006-03-26

arxiv.org/abs/math/0603604v1

Mathematics

General Mathematics

10 pages; an HTML version is available at http://alixcomsi.com/Why_Brouwer_was_right.htm

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-607924