From newshub.ccs.yorku.ca!ists!torn.onet.on.ca!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!news.cs.indiana.edu!att!linac!pacific.mps.ohio-state.edu!zaphod.mps.ohio-state.edu!think.com!ames!haven.umd.edu!darwin.sura.net!Sirius.dfn.de!chx400!bernina!nept Mon Jun 15 16:04:47 EDT 1992
Article 6218 of comp.ai.philosophy:
Newsgroups: comp.ai.philosophy
Path: newshub.ccs.yorku.ca!ists!torn.onet.on.ca!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!news.cs.indiana.edu!att!linac!pacific.mps.ohio-state.edu!zaphod.mps.ohio-state.edu!think.com!ames!haven.umd.edu!darwin.sura.net!Sirius.dfn.de!chx400!bernina!nept
une!santas
>From: santas@inf.ethz.ch (Philip Santas)
Subject: Re: Virtual mathematics
Message-ID: <1992Jun11.200323.11512@neptune.inf.ethz.ch>
Sender: news@neptune.inf.ethz.ch (Mr News)
Nntp-Posting-Host: spica.inf.ethz.ch
Organization: Dept. Informatik, Swiss Federal Institute of Technology (ETH)
References: <4138.708217481@mp.cs.niu.edu> <1992Jun11.055038.9628@Princeton.EDU> <80096@netnews.upenn.edu>
Date: Thu, 11 Jun 1992 20:03:23 GMT
Lines: 27



In article <80096@netnews.upenn.edu> weemba@sagi.wistar.upenn.edu (Matthew P Wiener) writes:
>In article <1992Jun11.055038.9628@Princeton.EDU>, harnad@phoenix (Stevan Harnad) writes:
>>Precisely the same is true of the mind: The pure computational model
>>can be used to predict and explain, but it does not think, there's
>>nobody home in there, it's not a real mind, just a virtual mind:
>>squiggles and squoggles that are systematically interpretable as if
>>they were a mind, thinking (e.g., passing the TT).
>
>How does one distinguish between virtual mathematics and real mathematics?

They deal with different syntax.

Philip Santas

--------------------------------------------------------------------------------
email: santas@inf.ethz.ch				 Philip Santas
Mail: Dept. Informatik				Department of Computer Science
      ETH-Zentrum			  Swiss Federal Institute of Technology
      CH-8092 Zurich				       Zurich, Switzerland
      Switzerland
Phone: +41-1-2547391
 





