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 28, 2013 12:59 AM


On 27/01/2013 10:36 PM, Nam Nguyen wrote: > 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!
Any rate, reinterpretation of logical symbols is relatively a new point. Hope you wouldn't miss that.
  There is no remainder in the mathematics of infinity.
NYOGEN SENZAKI 



