From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!tamsun!rigel.tamu.edu!cpm5479 Mon Jan  6 10:29:58 EST 1992
Article 2433 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca sci.philosophy.tech:1657 sci.logic:704 sci.math:5405 comp.ai.philosophy:2433
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!tamsun!rigel.tamu.edu!cpm5479
>From: cpm5479@rigel.tamu.edu (Chris Menzel)
Newsgroups: sci.philosophy.tech,sci.logic,sci.math,comp.ai.philosophy
Subject: Re: Human Mind < Finite State Machine (was: Re: Penrose on Man vs. Machine)
Keywords: the limits of human understanding: no such thing
Message-ID: <29DEC199120380450@rigel.tamu.edu>
Date: 30 Dec 91 01:38:00 GMT
References: <1991Dec27.051804.6985@cambridge.oracorp.com> <1991Dec27.184248.6939@husc3.harvard.edu> <1991Dec29.222912.9391@uwm.edu>
Sender: usenet@tamsun.tamu.edu
Followup-To: sci.philosophy.tech
Organization: Texas A&M University, Academic Computing Services
Lines: 17
News-Software: VAX/VMS VNEWS 1.41

In article <1991Dec29.222912.9391@uwm.edu>, markh@csd4.csd.uwm.edu (Mark William Hopkins) writes...
=>Here's a more fundamental consideration.  Since the space-time continuum
=>breaks down beyond the Planck scale and since out lives are finite, then
=>the brain's dynamics is FINITE.
=> 
=>That simple fact means we aren't even as powerful as the measly, lowly, mere
=>piddling Finite State Machine!

Perhaps you wouldn't mind spelling out the argument here.

>Here's another fact: no machine only as powerful as a Finite State Machine can
>tell the difference between a FSM and a more powerful model of computation.
>That means Turing Machines, Push-Down Automata, and oracles are humanly
>indistinguishable!

Gee, I could have sworn there was a way to do it in Hopcroft and 
Ullman!  :-)


