Beware of the Gödel- Wette paradox

Details Beware of the Gödel- Wette paradox Beware of the Gödel- Wette paradox

2001-10-09

arxiv.org/abs/math/0110094v2

Mathematics

Logic

109 pages, preliminary version, pagination added

Scientific paper

This paper gives a counterexample to the impossibility, by G\"odel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of arithmetic on the assumption that the latter is consistent. This counterexample gives rise to a new type of metamathematical paradox, to be called the G\"odel-Wette paradox, which E. Wette claims to have established since some time ago (see [Wette, 1971], [Wette, 1974]). Nevertheless, our work is independent of Wette's since we have failed to understand the details of his work although we recognize the possibility of the correctness of the latter. Furthermore, the G\"odel-Wette paradox is not the only foundational anomaly which the framework of our approach has uncovered but new questions concerning the decision problem, completeness problem, truth definitions and the status of Richard's paradox in arithmetic and set theory (including type theory) have arisen as well. This work will, eventually be unified into a single monograph.

Affiliated with

Also associated with

No associations

Rating

Beware of the Gödel- Wette paradox 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 Beware of the Gödel- Wette paradox, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Beware of the Gödel- Wette paradox will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-396515