3 ms·
No; the halting problem (etc.) is unsolvable. We're not just waiting for someone to figure out how to solve it.
by prophetjohn 14y ago
No; the halting problem (etc.) is unsolvable. We're not just waiting for someone to figure out how to solve it.