The diagonal lemma as the formalized Grelling paradox

Details The diagonal lemma as the formalized Grelling paradox The diagonal lemma as the formalized Grelling paradox

2006-06-17

arxiv.org/abs/math/0606425v1

Mathematics

Logic

3 pages

Scientific paper

Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet the lemma is often characterized as one of those important logical results that lack an insightful explanatory proof. By making explicit that the well-known proof of the lemma is just a straightforward translation of the Grelling paradox into first-order arithmetic, the proof can be made completely transparent.

Affiliated with

Also associated with

No associations

Rating

The diagonal lemma as the formalized Grelling 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 The diagonal lemma as the formalized Grelling paradox, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The diagonal lemma as the formalized Grelling paradox will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-309327