Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!ucsd!ucsdhub!calmasd!wlp
From: wlp@calmasd.Prime.COM (Walter Peterson)
Newsgroups: comp.ai
Subject: Re: [David E Demers: Re: free will]
Message-ID: <438@calmasd.Prime.COM>
Date: 23 Jul 89 23:20:01 GMT
References: <334@ucl-cs.UUCP> <425@berlioz.nsc.com> <1842@harrier.ukc.ac.uk> <2230@ucsfcca.ucsf.edu>
Organization: Prime - San Diego R&D (Object and Data Management Group)
Lines: 18

In article <2230@ucsfcca.ucsf.edu>, brianc@daedalus (Brian Colfer) writes:
> In article <1842@harrier.ukc.ac.uk> rjf@ukc.ac.uk (Robin Faichney)
writes:

[... various parts of the discussion deleted...]

> >Just because something cannot be proven, is no reason not to believe in it.
> 
> Why believe something if you cannot prove it?  

Sometime there is no choice in the matter. I will grant that proof is
a very desirable thing to have, but as Godel's Incompletness Theorem
shows, in any system that is complete there will be unprovable true
statements. Axioms are also accepted without proof.

-- 
Walt Peterson.  Prime - San Diego R&D (Object and Data Management Group)
"The opinions expressed here are my own."