A
Alan Turing
PersonPioneer of computer science; foundational to the concept of decidability and the halting problem.
Mentioned in 2 videos

Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #488
Lex Fridman
Pioneer of computer science; foundational to the concept of decidability and the halting problem.

Math's Fundamental Flaw
Veritasium
Pioneer of computing; formulated the Turing machine and the halting problem.