Shut up and calculate according to axiomatically formalized mathematics as if there were no arguments against Hilbert’s hope for general decidability, computability and predictability. However be careful and don’t speculate as if such calculation was realistic or at least logically correct. Hilbert’s trust in the law of excluded middle was formally challenged by Gödel’s incompleteness theorem and Turing’s more practical halting problem. Unseen examples of possible mistakes with relevance to physics will be shown.
Eckard Blumschein