Aliens who have solved chess can convince us of that fact without showing us the solution. It would be somewhat surprising if aliens who have a halting oracle could not.
Damn, the argument is in a postscript file. That would require downloading something. I wonder if I care that much!
Damn, the argument is in a postscript file. That would require downloading something. I wonder if I care that much!