On Mon, 16 Feb 2009, Jon Lang wrote: > if there's any doubt about the matter (e.g., conclusively proving or > disproving purity would be NP-complete or a halting problem), then
Deciding whether you have a halting problem IS a halting problem... :-) -Martin
