Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University 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, 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
----------------------------------------------------
|
|
|
|
