From newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz Thu Jan  9 10:33:58 EST 1992
Article 2543 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:2543 sci.philosophy.tech:1754 sci.logic:757
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 7 Jan 92 15: 51:02 GMT
Message-ID: <OZ.92Jan8051539@ursa.sis.yorku.ca>
Sender: news@newshub.ccs.yorku.ca (USENET News System)
Organization: York U. Student Information Systems Project
References: <1992Jan7.031553.24886@oracorp.com> <1992Jan7.105117.7193@husc3.harvard.edu>
Date: Wed, 8 Jan 1992 10:15:39 GMT

M. Zeleny writes:
   					     ... Since the notions of a
   program halting on a given input, or a theory being consistent are
   fundamentally second-order, i.e. non-recursive, our ability to understand
   them is sufficient evidence of our ability to perform non-algorithmic
   tasks.

Since you offer no useful explanation of your claim regarding
our ability to "understand ... a program halting on a given input",
one presumes you are still waving the mystical lucas/penrose banner.
If not, perhaps you care to produce your very own explanation and/or
proof of this claim.

   Indeed, it is arguably true that all understanding is fundamentally
   non-algorithmic; ...

dream on.

oz



