4 ms·
> humans did No. Not humans. One human. > The discussion is about human intelligence in general (particularly applied to bright people) not about my own in
by lisper 2y ago
> humans did
No. Not humans. One human.
> The discussion is about human intelligence in general (particularly applied to bright people) not about my own intelligence and its limitations.
OK, but if you're going to talk about human intelligence in general then you have to look at what humans do in general, and not what an extreme outlier like Curt Godel did as a singular event in human history.
> particularly applied to bright people
And how are you going to measure brightness?
> How will a computer prove such a thing?
I have no idea. (I was going to glibly say, "The same way that humans do", but one of the lessons of AI is that computers generally do not do things the same way that humans do. But that in no way stops them from doing the things that humans do.) But just because I don't know how they will do it in no way casts doubt on the near-certainty that they will do it, possibly even within my lifetime given current trends.
> I don't know anything about the chess algorithms but my understanding is that they rely, essentially, on searching a vast number of possible outcomes.
Yes, that's true. So?
> Can a computer beat Magnuson
I presume you meant Magnus Carlsen? Yes, of course. That experiment was done last year:
https://www.youtube.com/watch?v=dgH4389oTQY https://www.youtube.com/watch?v=dgH4389oTQY
> with the number of computations the computer can do limited to within one order of magnitude of what a human can do in the allotted time?
What difference does that make? But the answer is still clearly yes because the computer could simply emulate Carlsen's brain. A 10x speed advantage would surely be enough to win.
- gedpeck 2y agoI don’t believe you are engaging in a good faith discussion. Your previous comment is worthy of further contemplation but not this one. A computer can not emulate a person’s brain. At least not now and there isn’t sufficient evidence to believe that is even theoretically or practically possible to do in the future. Your response here implicitly admits there’s difference in human thinking and computer “thinking”. A chess program that just searches a vast number of possibilities and chooses the best one is not thinking like a human. It’s not even close. * > How will a computer prove such a thing? I have no idea* If you knew about these things you’d know that it isn’t possible to have an algorithm that halts in a finite number of steps that determines whether or not a given statement is an axiom in 2nd order PA. A computer is incapable of reasoning about such things.
- lisper 2y ago> A computer can not emulate a person’s brain. Earlier you wrote: > Can a computer beat Magnuson with the number of computations the computer can do limited to within one order of magnitude of what a human can do in the allotted time? If a computer can't emulate a person's brain then how are you going to assess whether or not the number of computations it's doing is "within one order of magnitude of what a human can do"? > A computer is incapable of reasoning about such things. You want to bet on that? Before you answer you'd better re-read your claim very carefully. When you realize your mistake and correct it, then my answer will be that humans aren't guaranteed to be able to determine these things in a finite number of steps either. There's a reason that there are unsolved problems in mathematics.