Undecidability Tangent (History of Undecidability Part 1) - Computerphile Computerphile 2024-10-20 | Undecidability Tangent (History of Undecidability Part 1) - Computerphile