Undecidability and the Simulation Hypothesis. An update

Gödel’s incompleteness theorems, Tarski’s undefinability theorem, and Chaitin’s information-theoretic incompleteness imply that a wholly algorithmic “Theory of Everything” is impossible. The universe cannot be a simulation.