Classic von Neumann: "You insist that there is something a machine cannot do. If you will tell me precisely what it is that a machine cannot do, then I can always make a machine which will do just that!"
Show this thread
It's possible to specify the halting problem quite precisely. Yet a machine can't solve it (well, absent a surprise in the laws of physics). So I think von Neumann is wrong here!
-
-
How about a modification - "You insist that there is something a machine cannot do that a human or another biological system can do..."?
-
Yea, here is the full context which is more aligned with that view. http://www.med.mcgill.ca/epidemiology/hanley/bios601/GaussianModel/JaynesProbabilityTheory.pdf … You were anticipated by E.T Jaynes,
@michael_nielsen!pic.twitter.com/k3J8M88BKs
- 3 more replies
New conversation -
-
-
It’s easy to solve the halting problem, just run the program and see when it stops! (
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Von Neumann might get upset by your response and define an oracle for it...
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Do you think Roger Penrose's suggestions, that humans will able to do stuff that machines will never be able to do, could be correct?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Common misconception. Halting problem is only defined for infinite machines. All finite computers can solve it with a trivial algorithm. And now I'm spending time correcting off-topic Twitter replies. Damn you Twitter!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.