Alexander Pruss's Blog
Showing posts with label
strings
.
Show all posts
Showing posts with label
strings
.
Show all posts
Wednesday, August 31, 2011
A sketch of a proof of a version of Goedel's incompleteness theorem
›
Consider a first order language (FOL) L that, in addition to the standard ingredients of FOL, including equality and a store of names an...
›
Home
View web version