Revision as of 18:06, 11 December 2003 edit 217.158.106.186 (talk) The proof is a counting argument: ← Previous edit		Revision as of 16:08, 15 December 2003 edit undo 200.30.57.57 (talk) No edit summary Next edit →
Line 24: can be proven within the axiomatic system (even though, as we know, the vast majority of those statements must be true). Again, the proof of this result is a formalization of Berry's paradox. Similar ideas are used to prove the properties of [[Chaitins constant\|Chaitin's constant]]. ----

Kolmogorov complexity: Difference between revisions