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



Re: Formally Unknowability, or absolute Undecidability, of certainarithmeticformulas.
Posted:
Jan 27, 2013 11:33 PM


Nam Nguyen <namducnguyen@shaw.ca> writes:
> Ok. So you seem to be saying that (unlike the lone Nam Nguyen) > everyone should not think that it's impossible to know the truth > value of cGC since "its truth value might be discovered tomorrow", > according to your knowledge about mathematical logic.
> 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_ ?
Congratulations on two of the dumbest points ever made on sci.math. Man, that's something.
 "Your people are about denial. Dreams versus reality. TELLING yourselves you are great. Telling yourselves you are brilliant. Telling yourselves you understand mathematics." James S. Harris: So obvious that it's kind of sad.



