Re: Human mind not Turing computable according to Eliezer?

From: Robin Lee Powell (rlpowell@digitalkingdom.org)
Date: Fri Oct 08 2004 - 12:21:18 MDT


On Fri, Oct 08, 2004 at 11:39:30AM +0200, Christian Szegedy wrote:
> First, why do I think that your refutation attempt is flawed:
>
> Your wrote that the construction of Penrose can not
> be performed since the human mind is not a Turing machine,
> but a finite state machine.
>
> However, every finite state-machine can be modelled by
> a Turing machine, so I think that the the construction
> of Penrose can be still performed.

......

What you just said is equivalent to:

All coyotes are mammals. (All FSMs are TMs.)

All humans are mammals. (All human minds are FSMs.)

All coyotes eat carrion. (TMs can't do whatever Penrose says.)

Therefore, all humans eat carrion. (All human minds can't do
whatever.)

-Robin

-- 
http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/
Reason #237 To Learn Lojban: "Homonyms: Their Grate!"


This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:49 MDT