Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Formally Unknowability, or absolute Undecidability, of certain arithmetic
formulas.

Replies: 22   Last Post: Jan 29, 2013 8:21 PM

 Messages: [ Previous | Next ]
 Michael Stemper Posts: 671 Registered: 6/26/08
Re: Formally Unknowability, or absolute Undecidability, of certain arithmeticformulas.
Posted: Jan 29, 2013 1:29 PM

In article <xbfNs.425\$OE1.376@newsfe26.iad>, Nam Nguyen <namducnguyen@shaw.ca> 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.

Date Subject Author
1/27/13 namducnguyen
1/27/13 Frederick Williams
1/27/13 namducnguyen
1/27/13 Frederick Williams
1/27/13 namducnguyen
1/27/13 Jesse F. Hughes
1/27/13 namducnguyen
1/28/13 Jesse F. Hughes
1/28/13 namducnguyen
1/28/13 namducnguyen
1/28/13 Frederick Williams
1/29/13 namducnguyen
1/29/13 fom
1/28/13 Frederick Williams
1/29/13 namducnguyen
1/28/13 ross.finlayson@gmail.com
1/29/13 Michael Stemper
1/29/13 namducnguyen
1/28/13
1/28/13 fom
1/29/13 namducnguyen
1/29/13 fom
1/29/13 Graham Cooper