Re: [sl4] Is belief in immortality computable?

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