I don't know the context, but Claus Kiefer was on the Physics Frontiers podcast recently talking about this paper: https://arxiv.org/abs/2305.07331 https://arx

I don't know the context, but Claus Kiefer was on the Physics Frontiers podcast recently talking about this paper: https://arxiv.org/abs/2305.07331 https://arxiv.org/abs/2305.07331 Gödel's undecidability theorems and the search for a theory of everything "I investigate the question whether Gödel'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."