Chaitin has triggered an important insight for me: a mathematical proof represents the successful compression of the semantics of a statement into its axioms. Undecidability means incompressibility.
-
-
Yes, we can deduce that we are probably in some kind of fractal, and we may be able to identify the possible generator function and candidate regions, but we did not achieve either yet, and so we don't know where we are.
- 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.