The halting problem and undecidability

The halting problem and undecidability

I was out of town for this class, so have included screen captures of lectures. Please watch each video, read the related sections in the text, and then look at problems in the homework.

Video segments

Be sure to open your browser window wide enough that you can see everything.

1. In this lecture segment, we discuss the halting problem and how to show other problems are undecidable Halting.

2. Next we look at some examples that use numbers in a more essential way: Lisp.mp4.

Finally, here are the slides from the videos: slides

The halting problem and undecidability