Skip to main content


How to solve the Halting Problem

In this video, Justin Gehr explains the background of the halting problem and how it arose from David Hilbert's decision problem. He also goes on to give a very complete explanation of how to solve the halting problem utilizing Alan Turing's logical approach from 1936. Justin then dives into what this means for us in computing today and also touches on what this can mean for our understanding of the human brain.

Project Members: Justin Gehr