From: fudley (fuddley@fastmail.fm)
Date: Fri Aug 13 2004 - 23:55:01 MDT
On Fri, 13 Aug 2004 "Paul Fidika" <Fidika@new.rr.com> Wrote:
>after Gödel had just proved that the Continuum Hypothesis
>could not be disproven within Zermelo-Fraenkel Set-Theory,
>he went on to give some arguments for why he believed that
>the Continuum Hypothesis was FALSE! Now, some people might
>say that Gödel should not be allowed to get away with this;
>they believe that the truth or falsity of a statement
>should only be considered relative to some formal
>system of axioms,
The Continuum Hypothesis is either true or false. Of course it could
also be un-provable, if it is that means you will never find a
counterexample to show it’s wrong and you will never be able to prove it
in a finite number of steps to show it’s correct. However I don’t know
anybody this side of a Looney bin who claims the truth of falsehood of
something depends of the formal system of axioms used.
Will this bridge collapse if I drive my heavy truck across it? Well,
under some formal systems it will and you will die and in others it will
not and you will live.
I don’t think so.
John K Clark
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:48 MDT