3 ms·
No, the correct statement is that there is no Turing Machine that can, given any program, decide whether it will halt. The "given any program" part is crucial.
by yongjik 6y ago
No, the correct statement is that there is no Turing Machine that can, given any program, decide whether it will halt.
The "given any program" part is crucial.