Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am studying the proof of Gödel's first Incompleteness theorem at the moment and I don't understand the differences between self-referencing, diagonalization and fixed point related to Gödel's proof.

In my opinion, they all mean taking the Gödel number of a formula as an argument into the formula itself.

Can someone please explain me the differences?

Thanks in advance.

share|improve this question
    
Whoever down-voted should provide a reason. –  Quinn Culver Apr 14 '12 at 0:05
    
@Coopi Have you considered accepting some answers for your earlier questions? –  Thomas Klimpel May 13 '12 at 18:56
add comment

1 Answer 1

It would probably help if you provide instances of each. But if you're just talking about their use in Gödel incompleteness theorems, then I suppose they all mean different aspects of the same thing. Application of the fixed point lemma is often referred to as diagonalization (of a given formula), and then that formula is said to be referring to itself.

I recommend:

Raymond Smullyan, 1994. Diagonalization and Self-Reference. Oxford Univ. Press.

Raymond Smullyan, 1991. Gödel's Incompleteness Theorems. Oxford Univ. Press.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.