Hacker News new | ask | show | jobs
by cambalache 1991 days ago
The harming algorithm is just used in the paper's proof as a simple wrapper around the halting algorithm.