From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!usc!sol.ctr.columbia.edu!spool.mu.edu!caen!nic.umass.edu!dime!orou Tue Apr  7 23:23:47 EDT 1992
Article 4880 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!usc!sol.ctr.columbia.edu!spool.mu.edu!caen!nic.umass.edu!dime!orou
rke
>From: orourke@unix1.cs.umass.edu (Joseph O'Rourke)
Newsgroups: comp.ai.philosophy
Subject: Re: Rock/FSA -> Humongous LUT
Message-ID: <45932@dime.cs.umass.edu>
Date: 2 Apr 92 16:21:17 GMT
References: <1992Apr1.132848.9773@cs.ucf.edu>
Sender: news@dime.cs.umass.edu
Reply-To: orourke@sophia.smith.edu (Joseph O'Rourke)
Organization: Smith College, Northampton, MA, US
Lines: 21

In article <1992Apr1.132848.9773@cs.ucf.edu> 
	clarke@acme.ucf.edu (Thomas Clarke) writes:

>The discussion by MZ, DC and DMC seems to be converging on the 
>conclusion that the rock not only implements every I/O-less FSA, 
>but any FSA whatsoever through an appropriate re-identification 
>of states.  Intuitively, a most unsatisfactory state of affairs.

I would say the discussion is coagulating more than converging.
My own (admittedly biased) summary is:

	1. A rock can be said to "realize" the trace of any
	I/O-less FSA [Putnam's Theorem].

	2. No one has shown a rock can be said to realize an
	FSA with I/O in the same (or very similar) sense of "realize."

	3. All possible traces of an FSA with I/O, for all inputs
	of some fixed length, can be mapped to rock states.

	4. The consequences of (3) for functionalism are under dispute.


