2 ms·
no, because you can build an algorithm that fools the algorithm that solves the generic halting problem. I wrote a "proof" of that in my blog [1] [1]: https://
by alexmolas 4y ago
no, because you can build an algorithm that fools the algorithm that solves the generic halting problem. I wrote a "proof" of that in my blog [1]
[1]: https://www.amolas.dev/blog/halting-problem/ https://www.amolas.dev/blog/halting-problem/
- kotlin2 4y agoExactly. So your claim that: > So you can remove the ones that do not halt by inspecting them one by one and developing a specific algorithm for each one that determines if it halts or not. Is impossible. You can’t, in general, inspect Turing machines one-by-one to determine if they halt.