Goedel's proof: a revisionist view

Details Goedel's proof: a revisionist view Goedel's proof: a revisionist view

2011-05-02

arxiv.org/abs/1105.0321v8

Mathematics

General Mathematics

4 pages, various errors corrected, most results revised

Scientific paper

This note presents a revised assessment of Goedel's proof. I show that the proof can be modified to establish that there exists a system P' such that: either P' is inconsistent (and P is also inconsistent) or P' is consistent and yet has no model. To define P' I firstly present a semantics for Goedel's P, and then define a theory P0 which is syntactically identical to P however the meaning of the type one variables differs in that for any interpretation of P0 these variables range over all and only the individuals assigned to the P0 numerals. P' is the theory obtained by adding the negation of a Goedel sentence for P0 to the proper axioms of P0.

Affiliated with

Also associated with

No associations

Rating

Goedel's proof: a revisionist view 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 Goedel's proof: a revisionist view, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Goedel's proof: a revisionist view will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-427499