Alexander Pruss's Blog
Showing posts with label
diagonal lemma
.
Show all posts
Showing posts with label
diagonal lemma
.
Show all posts
Monday, February 28, 2011
Syntactic self-reference without diagonal lemma or Gödel numbers
›
For the proof of Goedel's incompleteness theorem and in work on the Liar Paradox it is usual to use the Diagonal Lemma to secure self-r...
3 comments:
›
Home
View web version