Re: Factoring paper is wrong

From: Sebastian Gottschalk (seppi_at_seppig.de)
Date: 06/14/04 

Date: Mon, 14 Jun 2004 19:22:45 +0200

Mok-Kong Shen schrieb:

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

What about formal independency? Everything which has been shown to be
formally independent is obviously true to me, as the selection problem, the
continuum hypothesis and the P-NP-problem is, where there's no evidence on
counterexamples.
This is also very interesting because the continuum hyptothesis partially
depends on predicative logic, at least the decision problem.
(Proof is simple. If f is a function where s^f=w if s \iselem R, f
otherwise, then f is an interpretation. Now reduce it to the Herbrand
interpretation f', which has the same characteristics. As a herbrand
interpretation f' is countable, but R is not, so such an f cannot exist.) 

-- 
http://piology.org/ILOVEYOU-Signature-FAQ.html
begin  LOVE-LETTER-FOR-YOU.txt.vbs
I am a signature virus. Distribute me until the bitter
end

Relevant Pages

  • Re: Factoring paper is wrong
    ... >>universally true and would in this sense be 'absolute', ... > What about formal independency? ... Now reduce it to the Herbrand ... > interpretation f', ...
    (sci.logic)
  • Re: Factoring paper is wrong
    ... >>universally true and would in this sense be 'absolute', ... > What about formal independency? ... Now reduce it to the Herbrand ... > interpretation f', ...
    (sci.crypt)
  • Re: OUTGOEDELING A HUMAN?
    ... Yes, but not universally true. ... interpretation you claim to be true what you claim. ... again referring to that fixpoint level! ... implicitly claim truth for your statements in some absolute sense and ...
    (sci.logic)
  • Re: OUTGOEDELING A HUMAN?
    ... Abo's sentence is not universally true. ... exist an interpretation i such that S is interpreted ... to all noun phrases and predicate phrases and provides a domain ... It's true-in-L for some L. What does this mean (according ...
    (sci.logic)