Hello %u, > Just to be clear about this, the halting problem is only unsolvable > for Turing > machines. More correctly, the halting problem for machine X is unsolvable by machine X (or any weaker machine). -- ... <IXOYE><