Newsgroups: sci.physics,alt.sci.physics.new-theories,alt.consciousness,sci.cognitive,comp.ai,sci.philosophy.tech,sci.skeptic
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!usenet.eel.ufl.edu!spool.mu.edu!howland.reston.ans.net!pipex!uknet!newsfeed.ed.ac.uk!dcs.ed.ac.uk!cnews
From: Alan Smaill <smaill@dcs.ed.ac.uk>
Subject: Re: Review of Shadows of the Mind
In-Reply-To: daryl@oracorp.com's message of Mon, 27 Mar 1995 14:21:54 GMT
Message-ID: <SMAILL.95Mar27192638@papa.dcs.ed.ac.uk>
Sender: cnews@dcs.ed.ac.uk (UseNet News Admin)
Organization: University of Edinburgh
References: <1995Mar27.142154.3381@oracorp.com>
Date: Mon, 27 Mar 1995 18:26:38 GMT
Lines: 18
Xref: glinda.oz.cs.cmu.edu sci.physics:115500 sci.cognitive:7069 comp.ai:28603 sci.philosophy.tech:17320 sci.skeptic:108364

Daryl McCullough writes:
In article <1995Mar27.142154.3381@oracorp.com> daryl@oracorp.com (Daryl McCullough) writes:

daryl> Penrose' mistake is in thinking that Godel's incompleteness
daryl> theorem only applies to computable theories. It applies to a
daryl> much larger collection of theories than that. Basically, no
daryl> consistent theory (whether or computable or not) can have as a
daryl> consequence that it is itself consistent.

I don't know how to take this.
What about taking all true statements of arithmetic --
what do you mean by the Godel statement there?

-- 
Alan Smaill                       email: A.Smaill@ed.ac.uk
LFCS, Dept. of Computer Science   tel: 44-31-650-2710
University of Edinburgh           
Edinburgh EH9 3JZ, UK.            
