At a physics conference break, a group of three participants discuss the impact on physical theories of Turing's halting problem, the uncertainty coming from chaos and quantum theories and Godel's incompleteness theorems. They try to differentiate between limitations of formal systems and limitations of what is accessible through experimentation, the latter of which, one of them argues, should be taken as foundational starting points in physics.
Gabriele Carcassi