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 certainarithmeticformulas.
Posted:
Jan 28, 2013 12:36 AM


On 27/01/2013 10:16 PM, Jesse F. Hughes wrote: > Nam Nguyen <namducnguyen@shaw.ca> writes: > >> 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. > > Yeah, I'm sure that's absolutely right. > > I miss a *lot* of your points, actually. > > Funny, that.
The sad truth is for years you've missed only 1 or 2 points.
Not a lot as you've imagined!
  There is no remainder in the mathematics of infinity.
NYOGEN SENZAKI 



