Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Formally Unknowability, or absolute Undecidability, of certain arithmetic formulas.
Replies:
22
Last Post:
Jan 29, 2013 8:21 PM




Re: Formally Unknowability, or absolute Undecidability, of certain arithmeticformulas.
Posted:
Jan 27, 2013 2:07 PM


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. Its truth value might be discovered tomorrow.
 When a true genius appears in the world, you may know him by this sign, that the dunces are all in confederacy against him. Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting



