3 ms·
> If you manage to solve the halting problem first. there is a large slice of algorithms, which are possible to prove that they are not affected by halting pro
by riku_iki 2y ago
> If you manage to solve the halting problem first.
there is a large slice of algorithms, which are possible to prove that they are not affected by halting problem. I think having tooling for this slice of algorithms is already a big win.