Date: Apr 6, 2013 2:20 AM
Author: namducnguyen
Subject: Re: Matheology § 224

On 06/04/2013 12:13 AM, Nam Nguyen wrote:
> On 06/04/2013 12:08 AM, Virgil wrote:
>> In article <bWN7t.281592$O52.191417@newsfe10.iad>,
>> Nam Nguyen <namducnguyen@shaw.ca> wrote:
>>

>>> On 05/04/2013 10:31 PM, Virgil wrote:
>>>> In article <VFM7t.356449$PC7.98356@newsfe03.iad>,
>>>> Nam Nguyen <namducnguyen@shaw.ca> wrote:
>>>>

>>>>> Then you don't seem to understand the nature of cGC, depending on the
>>>>> formulation of the Conjecture but being a _different_ formula.
>>>>>
>>>>> For GC (the Goldbach conjecture), there naturally are 2 cases:

>>>>
>>>> What if the GC is eventually proved true in all systems?

>>>
>>> What do you mean by "all" systems?

>>
>> At least all systems in which a set of positive naturals with the usual
>> forms of addition and multiplication are possible.

>
> What do you mean by "positive naturals", "usual forms", "possible"?
> That's way too "intuitive" to conclude anything definitely, right?


In any rate, "proved true in all [formal] systems" is a mixed-up
of technical terminologies: formal systems prove syntactical theorems,
truths are verified in language structures. The two paradigms are
different and _independent_ : proving in one doesn't logical equate
to the other.

--
----------------------------------------------------
There is no remainder in the mathematics of infinity.

NYOGEN SENZAKI
----------------------------------------------------