(* Lecture 24: Basic Computability Theory *)

(* No code, since there is no solution to the halting problem! *)
(* Check lecture23.sml for the representation of ML expressions *)

(* Keywords

   Decision problem
   Ill-posed problem
   Decidability
   Halting problem
   Decision procedure
   Semi-decision procedure
   Diagonal argument
   Problem reduction

   Equality of functions
   Test for zero
*)