3 ms·
All AI is just objective minimization. AI cannot solve the halting problem or perform Solomonoff induction.
by yters 9y ago
All AI is just objective minimization. AI cannot solve the halting problem or perform Solomonoff induction.
- Xcelerate 9y ago> AI cannot [...] perform Solomonoff induction. Well it's clearly got to approximate it somehow, else humans wouldn't currently be making decently accurate predictions about the future.
- yters 9y agoYou're making an assumption that is not necessarily true.
- fjsolwmv 9y agoNeither can human AI solve the Halting Problem. It's proven unsolvable.
- colorint 9y agoIt's proven unsolvable for computers (i.e., Turing machines). Whether that makes it impossible for humans to solve (as a matter of course, or as a matter of Turing's proof) depends on whether you believe that we are isomorphic to computers. Which, to be fair, is exactly the belief that underwrites artificial intelligence. But then Turing's proof involves a program that inspects the halting oracle you're using, which isn't well-posed for humans evaluating halting.