Science is predicated upon the belief that the Universe is algorithmically compressible and the modern search for a Theory of Everything is the ultimate expression of that belief, a belief that there is an abbreviated representation of the logic behind the Universe’s properties that can be written down in finite form by human beings.

John Barrow, Theories of Everything: The Quest for Ultimate Explanation, Oxford, 1991, p. 11