Smullyans Dialogue and Godels Incompleteness Theorem
There are several parallels between the paradoxes raised in Smullyan’s Dialogue and Godel’s Incompleteness Theorem, especially when it comes to some of the self-referential things that God says. For example, according to Godel’s Theorem, if we can prove that Pk(k) is true, then the meaning which it sets out to assert, i.e. that P has no proof, becomes false – thus in the act of proving it we disprove it.