How definitive is the standard interpretation of Goedel's Incompleteness Theorem?

Details How definitive is the standard interpretation of Goedel's Incompleteness Theorem? How definitive is the standard interpretation of Goedel's Incompleteness Theorem?

2003-07-05

arxiv.org/abs/math/0307074v1

Mathematics

General Mathematics

12 pages; an HTML version is available at http://alixcomsi.com/How_definitive_is_the_standard.htm

Scientific paper

Standard interpretations of Goedel's "undecidable" proposition, [(Ax)R(x)],
argue that, although [~(Ax)R(x)] is PA-provable if [(Ax)R(x)] is PA-provable,
we may not conclude from this that [~(Ax)R(x)] is PA-provable. We show that
such interpretations are inconsistent with a standard Deduction Theorem of
first order theories.

Affiliated with

Also associated with

No associations

Rating

How definitive is the standard interpretation of Goedel's Incompleteness Theorem? 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 How definitive is the standard interpretation of Goedel's Incompleteness Theorem?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and How definitive is the standard interpretation of Goedel's Incompleteness Theorem? will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-256567