The search for a `Theory of Everything' is the quest for an ultimate compression of the world. Interestingly, Chaitin's proof of Gödel's incompleteness theorem using the concepts of complexity and compression reveals that Gödel's theorem is equivalent to the fact that one cannot prove a sequence to be incompressible. We can never prove a compression to be the ultimate one; there might be a yet deeper and simpler unification waiting to be found.
— John Barrow