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
|
|
|
|
