From: Randall Randall (randall@randallsquared.com)
Date: Fri Oct 08 2004 - 15:10:16 MDT
On Oct 8, 2004, at 2:21 PM, Robin Lee Powell wrote:
> On Fri, Oct 08, 2004 at 11:39:30AM +0200, Christian Szegedy wrote:
>> 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.)
I think you mean "All humans are coyotes." (Clearly
not true, but analogous).
>
> All coyotes eat carrion. (TMs can't do whatever Penrose says.)
>
> Therefore, all humans eat carrion. (All human minds can't do
> whatever.)
-- Randall Randall <randall@randallsquared.com> (706) 536-2674 Remote administration -- web applications -- consulting
This archive was generated by hypermail 2.1.5 : Tue Feb 21 2006 - 04:22:46 MST