We travel back in time to the 1930s to discuss the mathematical landscape which lead to The Halting problem and how a machine constructed as a mental model for a proof defined modern computers.
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More