Newsgroups: comp.ai.philosophy,sci.logic
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!europa.eng.gtefsd.com!howland.reston.ans.net!news.sprintlink.net!EU.net!uknet!festival!dcs.ed.ac.uk!cnews
From: smaill@dcs.ed.ac.uk (Alan Smaill)
Subject: Re: Penrose's new book
In-Reply-To: daryl@oracorp.com's message of Mon, 24 Oct 1994 14:15:52 GMT
Message-ID: <SMAILL.94Oct25123034@papa.dcs.ed.ac.uk>
Sender: cnews@dcs.ed.ac.uk (UseNet News Admin)
Organization: University of Edinburgh
References: <1994Oct24.141552.20925@oracorp.com>
Date: Tue, 25 Oct 1994 12:30:34 GMT
Lines: 22
Xref: glinda.oz.cs.cmu.edu comp.ai.philosophy:21330 sci.logic:8709

Daryl McCullough writes:
In article <1994Oct24.141552.20925@oracorp.com> daryl@oracorp.com (Daryl McCullough) writes:

daryl> It may be true that no person can hold two contradictory
daryl> beliefs at the same time. But Penrose was not talking about the
daryl> collection of statements believed to be true at one time---he
daryl> was claiming that the collection of statements that will ever
daryl> be held to be "unassailably true" is a consistent,
daryl> noncomputable set. His claim is certainly not true by
daryl> definition.

Well, maybe this is the claim, but presumably only if you think
that the only statements that will ever be held to be
"unassailably true" are mathematical ones. 



-- 
Alan Smaill                       JANET: smaill@uk.ac.ed.lfcs
LFCS, Dept. of Computer Science   UUCP: ..!mcvax!ukc!lfcs!smaill
University of Edinburgh           ARPA: smaill@lfcs.ed.ac.uk
Edinburgh EH9 3JZ, UK.            Tel: 031-650-2710
