[DanWaterworth]

> It's a computer, it can do anything. Period.

Anything? I assume you mean it can compute anything, right?

So you could write a computer program that determines whether two distinct programs do the same thing? Or whether a batch job will ever finish? Or whether you could substitute the variables in a equation with integers in order to satisfy it? Or a hundred other tasks that have been proven impossible?

[keyle]

Of course it can't do anything. The computer just hasn't found the person to tell it how to do it yet.

[prophetjohn]

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