[prophetjohn]

No; the halting problem (etc.) is unsolvable. We're not just waiting for someone to figure out how to solve it.