3 ms·
It is not a contradiction as I meant "achieving" in the context of creating it (through software). The fact it happened to us is undeniable (from our perspecti
by freediver 5y ago
It is not a contradiction as I meant "achieving" in the context of creating it (through software).
The fact it happened to us is undeniable (from our perspective), but the how/why of it is still one of the many mysteries of the universe - one we will likely never solve.
- extheat 5y agoI’m curious why you think that. Do you think it’s a fundamental problem with the discrete nature of traditional computers? Or a problem with scale and computational limits? If it’s the latter, if a hypothetical computer has unlimited time and memory capacity, why do you think AGI would remain impossible?
- freediver 5y agoMachines are good at computation, which is not equal to reasoning, but rather a subset of reasoning. And not only they are good at computation, but they are exceptionally good at it - I have no illusion of trying to compete with a machine doing square roots or playing chess. And increasingly harder problems are being expressed as computation problems, with more or less success - most famously probably self-driving. But at the end of the day it feels like using an increasingly longer ladder to reach the surface of the Moon. While imaginable, and every time we extend the ladder the Moon does get closer, it is fundamentaly impossible.
- jameshart 5y agoEver since Gödel we’ve had a pretty convincing proof that there is nothing that you can do in terms of reasoning that can’t be expressed using computation. And since Turing we’ve got a framework that shows there’s nothing computable that you can’t compute using a universal computer. So unless there’s something mystical beyond the realm of mathematics to ‘reasoning’ it can’t be a superset of computing. If a finite amount of matter in a brain with a finite amount of energy can do it, then a universal computing machine with a finite amount of storage and a finite amount of time can do it.
- whatshisface 5y agoThere 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.
- Forgeties79 5y agoI’ve never heard that moon analogy before - what a great way of putting it.
- dcposch 5y agoFWIW this is the same argument once made against human flight. In the late 19th century, there were a lot of debates in the form > Clearly flight is possible, birds do it > Sure but how/why is one of the many mysteries of the universe, one we will likely never solve. "Man won't fly for a million years – to build a flying machine would require the combined and continuous efforts of mathematicians and mechanics for 1-10 million years." - NYT 1903
- inter_netuser 5y agoPaper planes are over two thousand years old. NYT is just the epitome of the dunning-kruger in the west.
- random314 5y agoArgument by analogy is not much of an argument.
- barry-cotter 5y agoMore of one than ascar made.
- vikingerik 5y agoThe real answer to how birds fly is that they're extremely light weight so that wing muscles can lift them. Common pigeons or seagulls only weigh about 2 or 3 pounds. The largest birds of prey top out around 18. Anything heavier is flightless. A 150-pound human isn't getting anywhere on wing muscle power.
- ascar 5y agoThe largest Pterosaur are estimated to have had wingspans of more than 9m and weigh up to 250kg (550 pounds) and we believe they were able to fly. [1] But that's not the most relevant point here. The fact that humans did achieve to fly, but through a different method than birds is exactly a supporting argument that we might achieve AGI with a different approach than how our brains do it. There are countless similar examples. We see a natural phenomenon, we know it's possible and we find a way to replicate the desired effect (not the whole phenomenon) artificially. I haven't heard anything here that it will be any different for intelligence, except that we don't know how yet. [1] https://en.m.wikipedia.org/wiki/Pterosaur_size https://en.m.wikipedia.org/wiki/Pterosaur_size