From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!convex!schumach Thu Jan 16 17:22:29 EST 1992
Article 2792 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:2792 sci.philosophy.tech:1877 sci.logic:814
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!convex!schumach
>From: schumach@convex.com (Richard A. Schumacher)
Newsgroups: comp.ai.philosophy,sci.philosophy.tech,sci.logic
Subject: Re: Penrose on Man vs. Machine
Message-ID: <schumach.695589770@convex.convex.com>
Date: 16 Jan 92 19:22:50 GMT
References: <1992Jan14.211840.2423@arizona.edu> <1992Jan15.143037.7600@husc3.harvard.edu> <1992Jan15.222457.4889@galois.mit.edu> <1992Jan16.112129.7632@husc3.harvard.edu>
Sender: usenet@convex.com (news access account)
Distribution: world,local
Organization: CONVEX Computer Corporation, Richardson, Tx., USA
Lines: 13
Nntp-Posting-Host: starman.convex.com

Previously, an entity at Harvard wrote:
>To sum up, my position is that, were I a Turing machine, there would exist
>some formal mathematical theory whose meaning I couldn't understand.
>Personally, I find this implausible; feel free to judge to the contrary.
...
[expressions of astonishment and challenges from the Net deleted]
...
>If I have to make an effort to understand it, he has to make an effort to
>write it down.  See Emile Durkheim, "De la division du travail social":
>it's all for the sake of social cohesion.

Ah! Now the only problem remaining is to invent some reason for
cohering socially with such a pompous ass.


