Interesting post, but I don't agree with its conclusion. The "Theory of Everything" in Physics is equivalent to finding the axioms of Mathematics. It does not g

Interesting post, but I don't agree with its conclusion. The "Theory of Everything" in Physics is equivalent to finding the axioms of Mathematics. It does not give us a way to determine the truth of any physical law (say about climatology, just like knowing the rules of Conway's Life doesn't allow you to determine the status of any theorem about it) and so it does not cross the halting problem. The relative "complexity" of math vs physics is not relevant and anyway, until we have a TOE we don't know its complexity.