Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
goedels_incompleteness_theorems [2007-10-19 14:20] – created 192.168.1.34 | goedels_incompleteness_theorems [2007-10-19 14:21] (current) – 192.168.1.34 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | |||
- | < | ||
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:// | ||