In article <xbfNs.425$OE1.email@example.com>, Nam Nguyen <firstname.lastname@example.org> writes: >On 27/01/2013 12:07 PM, Frederick Williams wrote: >> Nam Nguyen wrote:
>>> In some past threads we've talked about the formula cGC >>> which would stand for: >>> >>> "There are infinitely many counter examples of the Goldbach Conjecture". >>> >>> Whether or not one can really prove it, the formula has been at least >>> intuitively associated with a mathematical unknowability: it's >>> impossible to know its truth value (and that of its negation ~cGC) in >>> the natural numbers. >> >> No one thinks that but you. > >If I were you I wouldn't say that. Rupert for instance might not >dismiss the idea out right, iirc. > >> Its truth value might be discovered tomorrow. > >You misunderstand the issue there: unknowability and impossibility >to know does _NOT_ at all mean "might be discovered tomorrow".
Are you implying that GC have been proven to be indepedent of the usual axioms of number theory?
-- Michael F. Stemper #include <Standard_Disclaimer> Build a man a fire, and you warm him for a day. Set him on fire, and you warm him for a lifetime.