Precursors to Goedelís Proof

• Epimenides Paradox: ìAll Cretans are Liarsî

• ìThis statement is falseî

• ìThis statement has five wordsî

• The set of all sets that do not contain themselves as subsets

• Halting problems

Previous slide

Next slide

Back to first slide

View graphic version