Re: Factoring paper is wrong

From: Mok-Kong Shen (mok-kong.shen_at_t-online.de)
Date: 06/14/04 

Date: Mon, 14 Jun 2004 18:15:57 +0200

Sebastian Gottschalk wrote:

> Mok-Kong Shen schrieb:
>

>>Maybe that depends on the semantics of the term 'absolute'.
>>He meant Goedel's imcompleteness result implies 'non-absoluteness'
>>(in his sense), I guess.
>
> Maybe that depends that predicative logic cannot tell much about the
> semantics at all. Due to Goedel we also know that predicative logic with
> two- or more-term symbols is indeed incomplete. It all goes about the
> semantics, but I'm pretty sure there is no big probability that even a
> complete different kind of society will produce results that violate our
> very well believed results as for example the incompleteness results.

Well, the incompleteness theorem itself seems to be indeed
universally true and would in this sense be 'absolute', in fact.

M. K. Shen