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:42 PM


On 27/01/2013 9:33 PM, Jesse F. Hughes wrote: > 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.
You missed the point; and that was a _right response_ to someone else's comment on the issue of the possible impossibility to know the truth value of cGC.
  There is no remainder in the mathematics of infinity.
NYOGEN SENZAKI 



