4 ms·
There are actually a lot of well-defined things beyond the power of a Turing machine (for example a Turing machine plus a halting oracle that only works on Turi
by whatshisface 5y ago
There are actually a lot of well-defined things beyond the power of a Turing machine (for example a Turing machine plus a halting oracle that only works on Turing machines without a halting oracle) but in terms of finite amounts of electrons doing normal low-energy electronic stuff you are quite likely correct. Humanity may go beyond computability if as some papers have suggested quantum gravity requires solving uncomputable problems.
- selestify 5y agoEven if our brains reason based on quirks of quantum mechanics (seems unlikely given the scale at which neurons operate), what stops us from creating non-biological machines that interact with QM in the same way to produce artificial reasoning?
- whatshisface 5y agoI am not saying that anything more than a really big computer is necessary for reasoning, only that one day physics knowledge may reach beyond the Turing machine (quantum computing does not).
- jameshart 5y agoDo you believe human brains contain a halting oracle? Or the moral equivalent of one - something that enables our brains to accomplish some non computable reasoning task?
- whatshisface 5y agoNo, they probably don't.