Randomly Typed

18 - The Halting Problem

Informações:

Sinopsis

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.