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 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
----------------------------------------------------
|
|
|
|
