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

Reply via email to