A 1.71 . 7 \quad B1.12

Logic, Computation and Set Theory
Part II, 2001

(i) What is the Halting Problem? What is an unsolvable problem?

(ii) Prove that the Halting Problem is unsolvable. Is it decidable whether or not a machine halts with input zero?