I think physics would be very happy to come up with a theory of "almost everything", like set theory is for mathematics. That would be a huge step forward, and

I think physics would be very happy to come up with a theory of "almost everything", like set theory is for mathematics. That would be a huge step forward, and would be completely unaffected by Godel's theorem. Also, the halting problem's insolvability is straightforward to see without knowing any of Godel's work. :)