ECS 220 6b:7.2-2 showing problems are undecidable by reduction from halting problem

From David Doty