10:26Mathematician explains Turing's halting problem | Edward Frenkel and Lex FridmanLex Clips17.6K viewsView & Download
10:44Turing Meets Paradoxes (History of Undecidability Part 3) - ComputerphileComputerphile121.9K viewsView & Download
21:21The Hard Problem of Controlling Powerful AI Systems - ComputerphileComputerphile59.1K viewsView & Download