Newsgroups: sci.physics,alt.atheism,comp.ai.philosophy
From: David@longley.demon.co.uk (David Longley)
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!udel!gatech!swrinde!pipex!peernews.demon.co.uk!longley.demon.co.uk!David
Subject: Re: How to get around Godel, Was: If God exists, what created 
Distribution: world
References: <D7KrKz.1xq@murdoch.acc.Virginia.EDU>   <3no3ov$cag@infoserv.rug.ac.be>
Organization: Myorganisation
Reply-To: David@longley.demon.co.uk
X-Newsreader: Demon Internet Simple News v1.29
Lines: 25
X-Posting-Host: longley.demon.co.uk
Date: Thu, 27 Apr 1995 17:05:12 +0000
Message-ID: <799002312snz@longley.demon.co.uk>
Sender: usenet@demon.co.uk
Xref: glinda.oz.cs.cmu.edu sci.physics:119267 comp.ai.philosophy:27294

In article <3no3ov$cag@infoserv.rug.ac.be>
           Denis.Constales@rug.ac.be "Denis Constales" writes:

> > There is a simple way to get around the limits of Godel's theorem.
> > A divergent process that follows an increasing number of paths
> > without selecting any single path as the correct one is not subject to
> > the limitations of Godel's theorem with regard to the theorems that can
> > ultimately be decided along *some* path.
> 
> But one cannot *formalize* a non-trivial instance of such a "divergent
> process" in a way that will not be subject to Godel's theorem. Let us
> also bear in mind that one of its paths may prove a theorem and another
> path prove its negation, thus rather impairing the usefulness of the
> whole construct.
> --
> Dr. Denis Constales
> E-mail: dcons@world.std.com, Denis.Constales@rug.ac.be
> WWW: http://cage.rug.ac.be/~dc
> 

I think many of us would benefit from a good explication of Godel's Theorem
with enough detail to stop us all making unfortunate extrapolations from it.
My own grasp is incommunicable..
-- 
David Longley
