Impossible Programs (The Halting Problem)

Some programming problems are so hard that they’re impossible. We look at the first problem to have been proved undecidable, the halting problem, which was instrumental in forming the basis of the modern computer.

Created by: Cory Chang
Produced by: Vivian Liu
Script Editors: Justin Chen, Brandon Chen, Elaine Chang, Zachary Greenberg

The Halting Problem: https://en.wikipedia.org/wiki/Halting_problem
Entscheidungsproblem: https://en.wikipedia.org/wiki/Entscheidungsproblem
Turing Machine: https://en.wikipedia.org/wiki/Turing_machine
Church-Turing Thesis: https://en.wikipedia.org/wiki/Church–Turing_thesis
Turing’s Paper, About: http://www.philocomp.net/home/turing.htm
Turing’s Paper, Original: https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf

---

Twitter: https://twitter.com/UBehavior

Видео Impossible Programs (The Halting Problem) канала Undefined Behavior