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



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



