HaltingTheorem
Last edit May 11, 2004
see
HaltingProblem