Halting problem

[Peter Alexander]

On 9/10/10 3:11 PM, Stewart Gordon wrote:
> Personally, I think it's a shame that the halting problem can't be
> solved. If it could, we could use it to solve many mathematical problems
> that have as it happens remained unsolved for centuries.

But solving those problems would mean nothing in that hypothetical 
situation, because, for the halting problem to be solvable, it would 
require that P <=> ~P, so any "theorem" would be meaningless.

Besides, I don't care to think about universes where P <=> ~P  :-)