Algorithmic Theories of Everything