Randomness conservation inequalities; information and independence in mathematical theories
Information and Control
A Theory of Program Size Formally Identical to Information Theory
Journal of the ACM (JACM)
Randomness and Recursive Enumerability
SIAM Journal on Computing
Visualization 2001 Conference (Acm
Visualization 2001 Conference (Acm
Hi-index | 0.00 |
Gödel Incompleteness Theorem leaves open a way around it, vaguely perceived for a long time but not clearly identified. (Thus, Gödel believed informal arguments can answer any math question.) Closing this loophole does not seem obvious and involves Kolmogorov complexity. (This is unrelated to, well studied before, complexity quantifications of the usual Gödel effects.) I consider extensions U of the universal partial recursive predicate (or, say, Peano Arithmetic). I prove that any U either leaves an n-bit input (statement) unresolved or contains nearly all information about the n-bit prefix of any r.e. real ρ (which is n bits for some ρ). I argue that creating significant information about a specific math sequence is impossible regardless of the methods used. Similar problems and answers apply to other unsolvability results for tasks allowing multiple solutions, for example, nonrecursive tilings.