Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Formally Unknowability, or absolute Undecidability, of certain arithmetic
formulas.

Replies: 22   Last Post: Jan 29, 2013 8:21 PM

 Messages: [ Previous | Next ]
 namducnguyen Posts: 2,777 Registered: 12/13/04
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",

>>>>
>>>>> 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, re-interpretation 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
----------------------------------------------------

Date Subject Author
1/27/13 namducnguyen
1/27/13 Frederick Williams
1/27/13 namducnguyen
1/27/13 Frederick Williams
1/27/13 namducnguyen
1/27/13 Jesse F. Hughes
1/27/13 namducnguyen
1/28/13 Jesse F. Hughes
1/28/13 namducnguyen
1/28/13 namducnguyen
1/28/13 Frederick Williams
1/29/13 namducnguyen
1/29/13 fom
1/28/13 Frederick Williams
1/29/13 namducnguyen
1/28/13 ross.finlayson@gmail.com
1/29/13 Michael Stemper
1/29/13 namducnguyen
1/28/13
1/28/13 fom
1/29/13 namducnguyen
1/29/13 fom
1/29/13 Graham Cooper