Turing Meets Paradoxes (History of Undecidability Part 3) - Computerphile

Turing & The Halting Problem - Computerphile

Undecidability Tangent (History of Undecidability Part 1) - Computerphile

Barber & Russell Paradoxes (History of Undecidability Part 2) - Computerphile

Enigma, TypeX and Dad - Computerphile

P vs. NP: The Biggest Puzzle in Computer Science

Turing's Enigma Problem (Part 1) - Computerphile

The Most Difficult Program to Compute? - Computerphile

Mathematician explains Turing's halting problem | Edward Frenkel and Lex Fridman

Understanding the Halting Problem

Alan Turing: The Scientist Who Saved The Allies | Man Who Cracked The Nazi Code | Timeline

The Fascinating History of Go

Math's Fundamental Flaw

Tackling Enigma (Turing's Enigma Problem Part 2) - Computerphile

Unpredictability, Undecidability, and Uncomputability

The World's Best Mathematician (*) - Numberphile

The Halting Problem: The Unsolvable Problem

Busy Beaver Turing Machines - Computerphile

Turing, Tutte & Tunny - Computerphile

8. Undecidability