![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Are humans Turing Machines?
Jun. 25th, 2003 05:03 pmI think so. It's almost required of believers in strong AI.
This afternoon, I had a colleague tell me that humans are superior to computers because we are not Turing machines, so we aren't subject to the halting problem. I told his arguments sounded a lot like Penrose's fallacious anti-strong-AI arguments.
We argued for about 10 minutes and then I gave up convincing him.
Crispin Cowan on the metaphysical implications of humans being Turing machines.
Boyer and Moore have a machine prove the Halting Problem
This afternoon, I had a colleague tell me that humans are superior to computers because we are not Turing machines, so we aren't subject to the halting problem. I told his arguments sounded a lot like Penrose's fallacious anti-strong-AI arguments.
We argued for about 10 minutes and then I gave up convincing him.
Crispin Cowan on the metaphysical implications of humans being Turing machines.
Boyer and Moore have a machine prove the Halting Problem