I am indeed curious as to why so many researchers latch on to undecidability as a problem that relates to general intelligence? Perhaps you may have a good explanation.
-
-
From the perspective of general intelligence, being able to make good prediction up to a short time horizon is good enough. So the halting problem is no where near being an issue.
1 reply 0 retweets 1 like -
Replying to @IntuitMachine @FieryPhoenix7
I think the halting problem cannot even be formulated in a fully computable paradigm. It is similar to the question if an omnipotent God can create a rock that he cannot lift. Omnipotence may be as ill-defined as infinity.
2 replies 0 retweets 1 like -
Replying to @Plinz @IntuitMachine
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.
1 reply 0 retweets 1 like -
Replying to @FieryPhoenix7 @IntuitMachine
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).
1 reply 0 retweets 0 likes -
Replying to @Plinz @IntuitMachine
Do you mean that mathematics itself has inherent flaws or is it just that our understanding of it is fundamentally rudimentary?
1 reply 0 retweets 0 likes -
Replying to @FieryPhoenix7 @IntuitMachine
IMHO Gödel has shown that the nonconstructive parts of math are flawed.
1 reply 0 retweets 0 likes -
Replying to @Plinz @FieryPhoenix7
That's a very strong statement. Do you have references to this?
1 reply 0 retweets 0 likes -
Replying to @IntuitMachine @FieryPhoenix7
This is actually what it says. Hilbert asked to fix the flaws introduced by infinities as apparent in Cantor's set theory, and Gödel and Turing responded by demonstrating that they cannot be fixed.
1 reply 0 retweets 3 likes -
Replying to @Plinz @FieryPhoenix7
So what in your estimation is the collateral damage for this in mathematics? Which methods have been infested?
2 replies 0 retweets 0 likes
Everything that works is computable.
-
-
Replying to @Plinz @FieryPhoenix7
Everything that is real is due to a computable generative process. Analytic models of reality that happen to predict exceedingly well are a matter of pure luck!
0 replies 0 retweets 0 likesThanks. 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.