correction
I suppose I should re-write:
"Its provably true that machine B can never compute the answer we asked of it."
as
"Its provably true that machine B can never reliably compute that machine A will halt on a given input".
Space/Science » in reply to Al is pretty much correct... But the rabit hole goes on and on.
The whole thread (23 posts)
- What were Einstein and Gödel talking about?
- really fascinating, however -
- Before the big bang there was a tribe of Smurfs floating around in non-space
- Al is pretty much correct... But the rabit hole goes on and on.
- Thanks -
- Before the big bang there was a tribe of Smurfs floating around in non-space
- re: The Forgotten Legacy of Kurt Gödel and Albert Einstein
- really fascinating, however -