From: John K Clark (email@example.com)
Date: Tue May 26 2009 - 13:21:52 MDT
On Tue, 26 May 2009 "Tomaz Kristan"
> 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 firstname.lastname@example.org -- http://www.fastmail.fm - 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