Re: [sl4] Is belief in immortality computable?

From: John K Clark (
Date: Tue May 26 2009 - 13:21:52 MDT

On Tue, 26 May 2009 "Tomaz Kristan"
<> said:

> Say, that you have a nonprovable theorem.

But there is in general there is no way to know itís unprovable.

> You may add it to your list as another axiom.

Tou could, but if you canít prove it then you donít know if itís true,
adding it as a axiom is very dangerous. Suppose you add as an axiom that
Goldbachís Conjecture is true and then somebody crunching numbers on a
computer findís a counterexample to prove it false? Mathematics would

 John K Clark

  John K Clark
-- - Access your email from home and the web

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:04 MDT