From: Tomaz Kristan (kristan@scientist.com)
Date: Thu May 28 2009 - 02:14:56 MDT
----- Original Message -----
From: "John K Clark"
To: "sl4 sl4"
Subject: Re: [sl4] Is belief in immortality computable?
Date: Tue, 26 May 2009 12:21:52 -0700
> but if you can’t prove it then you don’t know if it’s true,
adding it as a axiom is very dangerous.
Sure it is. You don't know, is it unprovable or just unproved. But
every unprovable theorem - you can add to the list of axioms and
Goedel garanties, that a new unprovable will arise.
My point is, that for every conjecture there is a finite axiom list
to prove
it.
-- Be Yourself @ mail.com! Choose From 200+ Email Addresses Get a Free Account at www.mail.com
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:04 MDT