From: Randall Randall (firstname.lastname@example.org)
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
-- Randall Randall <email@example.com> (706) 536-2674 Remote administration -- web applications -- consulting
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:49 MDT