Re: [sl4] Is belief in immortality computable?

From: Warrigal (ihope127+w@gmail.com)
Date: Wed May 27 2009 - 11:24:05 MDT


On Tue, May 26, 2009 at 3:21 PM, John K Clark <johnkclark@fastmail.fm> wrote:
>> 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
> collapse.

If that were as dangerous as you say, Russell's paradox would have
ruined us forever.

--Warrigal



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