Page "Theory of everything" Paragraph 42

Jürgen Schmidhuber ( 1997 ) has argued against this view ; he points out that Gödel's theorems are irrelevant for computable physics.

In 2000, Schmidhuber explicitly constructed limit-computable, deterministic universes whose pseudo-randomness based on undecidable, Gödel-like halting problems is extremely hard to detect but does not at all prevent formal ToEs describable by very few bits of information.