The podcast discusses how Alan Turing noticed that the semantics of classical mathematics cannot build a computer that runs mathematics without crashing and that classical mathematics was computation all along.