so i get to try to teach the halting problem to a bunch of freshman comp sci students tomorrow. huh. 2009/12/08