2 ms·The harming algorithm is just used in the paper's proof as a simple wrapper around the halting algorithm.by cambalache 6y agoThe harming algorithm is just used in the paper's proof as a simple wrapper around the halting algorithm.