2
$\begingroup$

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.

  • 0
    Whoever down-voted should provide a reason.2012-04-14
  • 0
    @Coopi Have you considered accepting some answers for your earlier questions?2012-05-13

1 Answers 1