Page loading

The halting problem

An interactive tutorial

Perhaps your code editor has warned you before: “Unreachable code detected!” But how does it know? And will it warn you about all lines that are unreachable? Back in 1936, before computers really existed, Alan Turing was already thinking about this problem. In this chapter, you’ll learn the most important result in computability theory: Turing’s trick to troll any termination test!

Quoted text:

Your feedback will be sent privately to the author. They may reply to you by email. Thanks for helping make this course better!