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 arithmetic formulas.
Posted:
Jan 28, 2013 8:51 AM


Nam Nguyen wrote:
> >> On 27/01/2013 12:07 PM, Frederick Williams wrote: > >>> Nam Nguyen wrote: > >>>> > >>>> "There are infinitely many counter examples of the Goldbach Conjecture". > >>>> [...] > >>> Its truth value might be discovered tomorrow. [...] > > But, A) what's the technical definition of "might be discovered > tomorrow"? "Tomorrow" relative to which side of the International > Date line? The Australia side? or the US side? And B) what happens > if before "tomorrow" has arrived, "today" somebody would discover > the truth value of cGC, rendering "might be discovered tomorrow" > _meaningless_ ?
I had misjudged you. I thought your constant changing of the subject and not answering questions put to you was dishonesty, but I now think that you are mentally retarded. That probably isn't the Politically Correct term, sorry.
 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



