From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!munnari.oz.au!bunyip.cc.uq.oz.au!helios!house Thu Jan 16 17:22:14 EST 1992
Article 2765 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:2765 sci.philosophy.tech:1866 sci.logic:809
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!munnari.oz.au!bunyip.cc.uq.oz.au!helios!house
>From: house@helios.usq.EDU.AU (ron house)
Newsgroups: comp.ai.philosophy,sci.philosophy.tech,sci.logic
Subject: Re: How to outdo Roger Penrose
Message-ID: <house.695437968@helios>
Date: 15 Jan 92 01:12:48 GMT
Article-I.D.: helios.house.695437968
References: <1992Jan7.212922.20851@oracorp.com> <1992Jan13.022633.11107@milton.u.washington.edu> <1992Jan13.222623.373@convex.com>
Lines: 23

cash@convex.com (Peter Cash) writes:

>I can't say that I followed the subtleties of Daryl's argument--but I did
>think that this much is clear: Penrose can't put down an answer. Given the
>rules of the analogy, it seems that no matter whether Penrose writes "yes"
>or "no" on his answer slip, the answer has got to be wrong. If he writes
>"yes", then he will have failed to use "no", and the answer is wrong; if he
>writes "no", then he will have used "no", and the answer is wrong. Thus,
>Penrose can't write (I suppose that he is "halted"). Furthermore, the other
>player knows what Penrose must do: he can write "No" on his own paper.

But whatever Penrose does he loses the 'mark'.  So perhaps he would
bring in some other consideration.  If the goal is to beat the other
player overall, he might write 'no', knowing it to be wrong and
knowing that the other player will probably write 'no' also, thus
losing points for both players, and hoping to score higher on other
questions.  The point is he can think creatively about the problem,
and cut at tangents across the logic.

--

Ron House.                 USQ
(house@helios.usq.edu.au)  Toowoomba, Australia.


