Godel’s Incompl-ten-ss Th–rems

Last time we talked about the Halting Problem, and we came away with the conclusion that it was undecidable.
So what’s the big deal?
Let’s consider a slightly different problem. Consider the sentence “This sentence is false”. This is a slightly different formulation of the liar’s paradox in which the sentence makes claims about its [...]

Continue reading »