>he only has one Nobel prize
He only has one Nobel prize
Austin Wilson
Other urls found in this thread:
en.wikipedia.org
twitter.com
Ian Foster
Did humanity peak with the transistor? What will be the next revolutionary technology?
Michael Lewis
strong AI
Samuel Green
>strong AI
provably impossible.
Jason Walker
Show me the proof, brainlet
David Russell
Noah Gutierrez
Nice. Only problem is that it has absolutely nothing to do with strong AI
Caleb Hughes
>impossible for a machine to determine if a program will halt
>humans can determine if a program will halt
>strong ai is a machine with human intelligence
>strong ai is a machine that can determine if a program will halt
>strong ai contradicts fact that machines cannot determine if a program will halt
>strong ai is not possible
Ethan Brooks
>>impossible for a machine to determine if a program will halt
This is not the halting problem.
The halting problem is to determine whether EVERY INDIVIDUAL program will halt. Whether humans can do this is highly debatable.
Gavin Bennett
when I said "a program", I meant "an arbitrary program", obviously.
>Whether humans can do this is highly debatable
Why? show me an example of something where we do not know if it will halt.
Connor Nguyen
...
Brandon Robinson
>Why? show me an example of something where we do not know if it will halt.
The program that lists all Fermat primes
The program that computes the 3x+1 sequence starting from a million bajillion
The program that enumerates consequences of large cardinal axioms and halts upon finding an inconsistency
etc.
Jackson Parker
>The program that computes the 3x+1 sequence starting from a million bajillion
forgot to add: and halts if it gets to 1
Landon Thompson
Hydrolics are pretty strong to me...idk...maybe there is something stronger than that...maybe...
Ayden Young
should clarify, I meant "cannot know" if it will halt.
Nolan Gutierrez
>humans can determine if a program will halt
No, they can't.
Jason Young
> inconsistency
Or the start of a new pattern, simplifying the algorithm allowing "RC insects" to be able to carry out kill orderns.
Terrifying, no?
> 4AUG1997
> its been too late or a long time...oops.
Dylan Nguyen
You're shifting goalposts, this is no longer the halting problem
James Barnes
>humans can determine if a program will halt
Can you prove this part?
Protip: No you can't, because it isn't true. If we ever find out the halting behavior of all Turing machines with fewer than 30 states, I'll eat my balls.
Eli Cox
>Can you prove this part?
I'll leave that to the reader. It's fairly self evident
Camden Hall
Says the neural network that arose from natural selection.
Isaac Kelly
lol u got absolutely destroyed in this thread
Carson Parker
>people literally cannot tell the difference between understanding the context of an algorithm that goes on forever or is in fact converging to a finite sum, and making that into a turing complete machine
lmao
Wyatt Rivera
What a badass. Legend.
Lincoln Butler
this, in fact his more enduring contributions imo was solving the 'surface states' problem which was absolutely critical to the later development of the mosfet.
Asher Hill
lmao bro you are a loser