From newshub.ccs.yorku.ca!ists!torn.onet.on.ca!utgpu!news-server.csri.toronto.edu!rpi!usc!elroy.jpl.nasa.gov!sdd.hp.com!think.com!yale.edu!jvnc.net!netnews.upenn.edu!sagi.wistar.upenn.edu Mon Jun 15 16:04:39 EDT 1992
Article 6205 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!torn.onet.on.ca!utgpu!news-server.csri.toronto.edu!rpi!usc!elroy.jpl.nasa.gov!sdd.hp.com!think.com!yale.edu!jvnc.net!netnews.upenn.edu!sagi.wistar.upenn.edu
>From: weemba@sagi.wistar.upenn.edu (Matthew P Wiener)
Newsgroups: comp.ai.philosophy
Subject: Virtual mathematics
Message-ID: <80096@netnews.upenn.edu>
Date: 11 Jun 92 13:35:23 GMT
References: <1992Jun10.203412.19158@news.Hawaii.Edu> <4138.708217481@mp.cs.niu.edu> <1992Jun11.055038.9628@Princeton.EDU>
Sender: news@netnews.upenn.edu
Reply-To: weemba@sagi.wistar.upenn.edu (Matthew P Wiener)
Organization: The Wistar Institute of Anatomy and Biology
Lines: 10
Nntp-Posting-Host: sagi.wistar.upenn.edu
In-reply-to: harnad@phoenix.Princeton.EDU (Stevan Harnad)

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?
-- 
-Matthew P Wiener (weemba@sagi.wistar.upenn.edu)


