From newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz Thu Jan 16 17:19:15 EST 1992
Article 2597 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:2597 sci.philosophy.tech:1778 sci.logic:771
Newsgroups: comp.ai.philosophy,sci.philosophy.tech,sci.logic
Path: newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz
>From: oz@ursa.sis.yorku.ca (Ozan Yigit)
Subject: Re: Penrose on Man vs. Machine
In-Reply-To: zeleny@zariski.harvard.edu's message of 9 Jan 92 16: 07:30 GMT
Message-ID: <OZ.92Jan9122629@ursa.sis.yorku.ca>
Sender: news@newshub.ccs.yorku.ca (USENET News System)
Organization: York U. Student Information Systems Project
References: <1992Jan9.131829.15232@oracorp.com> <1992Jan9.110732.7279@husc3.harvard.edu>
Date: Thu, 9 Jan 1992 17:26:29 GMT

Mikhail Zeleny writes:

   DMC:
   >There is no evidence that humans can go beyond formalized reasoning, so
   >it is not clear what you are demanding be explained.

   On the contrary, any semantic consideration goes beyond formalistic, purely
   syntactical symbol manipulation.

That is your claim, and you are welcome to it, but if you like a carefully
worked-out view contrary to yours, see Thomas' _Formal Mechanics of Mind_.

oz


