Newsgroups: comp.ai.philosophy,talk.philosophy.misc,talk.religion.newage,alt.atheism,alt.pagan,alt.consciousness,alt.paranormal.channeling,alt.consciousness.mysticism
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!sunic!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Subject: Re: rereRe: The end of god
In-Reply-To: gmonro@gov.nt.ca's message of Tue, 25 Oct 1994 05:29:16 GMT
Message-ID: <TORKEL.94Oct25183825@anhur.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <Cxzo7E.91v@gpu.utcc.utoronto.ca> <Harmon.776.000A2404@psyvax.psy.utexas.edu>
	<Cy72p4.B1r@gpu.utcc.utoronto.ca> <1994Oct25.052916.3600@gov.nt.ca>
Date: Tue, 25 Oct 1994 17:38:25 GMT
Lines: 14

In article <1994Oct25.052916.3600@gov.nt.ca> gmonro@gov.nt.ca (Graham Monroe) writes:
   >as I understand the Goedel
   >theorem, there are, in any sufficiently powerful logical system,
   >statements that can neither be proven true nor false.

  No, only that there are statements that cannot be proved true or
false in that system.

   >This means they
   >have no truth value 

  This is is no sense a consequence of Godel's theorem, and it
certainly wasn't Godel's view.

