Mathematics Tripos Papers

  • Part IA
  • Part IB
  • Part II
  • FAQ

A 1.71 . 7 \quad1.7 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?

Typos? Please submit corrections to this page on GitHub.