G\"odel's undecidability theorems and the search for a theory of everything

Abstract

I investigate the question whether G\"odel's undecidability theorems play a crucial role in the search for a unified theory of physics. I conclude that unless the structure of space-time is fundamentally discrete we can never decide whether a given theory is the final one or not. This is relevant for both canonical quantum gravity and string theory.