Newsgroups: comp.ai.philosophy
From: lupton@luptonpj.demon.co.uk (Peter Lupton)
Path: cantaloupe.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!news.duke.edu!convex!cs.utexas.edu!howland.reston.ans.net!news.sprintlink.net!demon!luptonpj.demon.co.uk!lupton
Subject: Re: Etheric spiritual forces, are there...?
References: <35pl9c$aag@tadpole.fc.hp.com> <burt.779847760@aupair.cs.athabascau.ca> <1994Sep21.115209.14009@datcon.co.uk>
Distribution: world
Organization: No Organisation
Reply-To: lupton@luptonpj.demon.co.uk
X-Newsreader: Newswin Alpha 0.4
Lines:  22
Date: Sun, 25 Sep 1994 16:13:02 +0000
Message-ID: <10378808wnr@luptonpj.demon.co.uk>
Sender: usenet@demon.co.uk

In article: <35pl9c$aag@tadpole.fc.hp.com>  allsop@fc.hp.com (Brent Allsop) writes:
> 
> 
> Eddie asks,
> 
> > The really interesting question, though, is WHY is the universe
> > built in such a way that we cannot have what we want - completeness
> > and consistency.
> 
> 	Godel found a necessary truth.  In other words it applies to
> all universes and systems not just ours.  You can't make a universe or
> system that has both completeness and consistency.  Omnipowerful Gods
> can't change necessary truth!

Goedel's Theorem includes the requirement that the theory in question
is axiomatic - that is, a theory whose theorems could be enumerated by a
computer. I am not qualified to give an authoratitive answer, but
I doubt whether the Gods would be so constrained.

-------------------
Peter Lupton
