Talk:Diagonalization lemma
The typeset judgement is not only wrong, but is not well-formed: the hole in phi(-) accepts only terms (that is, in arithmetic, arithmetic expressions).
It should read:
- P |- psi <=> phi(#psi)
where #- is the Goedel numbering function.
Note that P is undefined at present.
Note also that in order to prove Goedel's completeness theorem, this needs to parametric, that is both phi and psi may contain free variables. The discussion of the incompleteness theorems in Craig Smorinski's article of that name in the "Handbook of Mathematical Logic" edited by Barwise contains an excellent discussion of diagonalisation lemmas.
I'm not going to apply any changes, because I haven't worked out how to typeset equations on Wikipedia yet, and don't really have enough time right now to learn. ---- Charles Stewart 11:32, 19 Aug 2004 (UTC)
Start a discussion about improving the Diagonalization lemma page
Talk pages are where people discuss how to make content on Wikipedia the best that it can be. You can use this page to start a discussion with others about how to improve the "Diagonalization lemma" page.
