  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.
