It seems to imply that we’re just missing the compute power. An optimistic prediction but the cynical in me says there is more to it than brute force. When true AGI is developed, I suspect it will be through novel techniques/algorithms we may or may not have discovered yet.
-
-
FWIW, the halting problem is probably irrelevant to the question of general intelligence. The only reason it exists is to show that there are fundamental limitations to computation, and we're pretty sure general intelligence is a decidable problem.
-
I think the halting problem is more profound: it shows that there are fundamental problems with mathematics, which computation resolves (to the degree to which they can be resolved).
- 7 more replies
New conversation -
-
-
I suspect the halting problem can't be proven using intuitionistic logic. See my post above this.
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.