Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
goedels_incompleteness_theorems [2007-10-19 14:20] – 192.168.1.34 | goedels_incompleteness_theorems [2007-10-19 14:21] (current) – 192.168.1.34 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | |||
- | <pre> | ||
Gödel' | Gödel' | ||
Line 9: | Line 7: | ||
For any formal recursively enumerable (i.e. effectively generated) theory T including basic arithmetical truths and also certain truths about formal provability, | For any formal recursively enumerable (i.e. effectively generated) theory T including basic arithmetical truths and also certain truths about formal provability, | ||
- | |||
- | </ | ||
http:// | http:// | ||