3/11 -- High School I: Algorithms II

Today we are going to continue our discussion of algorithms, but instead of trying to try and write algorithms to do specific things, we are going to try and talk about algorithms themselves. Despite having obvious applications to computer science, algorithms were originally studied within mathematical Logic. Today we will talk about trying to write programs to analyze programs, and come up against one of the most famous hard problems, the so called Halting problem.