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!spool.mu.edu!uunet!news.mtholyoke.edu!nic.umass.edu!dime!orourke Tue Apr  7 23:23:58 EDT 1992
Article 4899 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:4899 sci.philosophy.tech:2504
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!spool.mu.edu!uunet!news.mtholyoke.edu!nic.umass.edu!dime!orourke
>From: orourke@unix1.cs.umass.edu (Joseph O'Rourke)
Newsgroups: comp.ai.philosophy,sci.philosophy.tech
Subject: Re: A rock implements every FSA
Message-ID: <46007@dime.cs.umass.edu>
Date: 3 Apr 92 14:23:12 GMT
References: <1992Mar30.064140.8996@bronze.ucs.indiana.edu> <1992Mar30.231418.10488@husc3.harvard.edu> <45844@dime.cs.umass.edu> <1992Apr2.202642.25800@bronze.ucs.indiana.edu>
Sender: news@dime.cs.umass.edu
Reply-To: orourke@sophia.smith.edu (Joseph O'Rourke)
Followup-To: comp.ai.philosophy
Organization: Smith College, Northampton, MA, US
Lines: 19

In article <1992Apr2.202642.25800@bronze.ucs.indiana.edu> 
	chalmers@bronze.ucs.indiana.edu (David Chalmers) writes
	[Re the "Discussion" following Putnam's theorem & proof]:

>Of course clarity does not imply correctness, and the proof here fails
>for the usual reasons -- [...]

Perhaps we should distinguish between:
	1. Putnam being incorrect (his proof failing);
	2. Putnam's proofs not establishing the philosophical
	   points he desires;
	3. Putnam's proof not establishing the philosophical
	   points others desire.
When you say Putnam's proof "fails," I don't think you mean that
it is technically incorrect (do you?), according to his (never-stated) 
definition of "realization."  Rather you mean it fails under your 
definition of "implementation."  And further, to establish his
philosophical points, something like your notion of "implementation"
is necessary.


