Re: Factoring paper is wrong

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

Date: Mon, 14 Jun 2004 17:59:33 +0200

Mok-Kong Shen schrieb:

>> Well, it is absolute when reduced to a formulation in predicative logic,
>> which itself is absolute in not taking any non-provable asumtations.
>
> 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. 

-- 
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: Code Comprehension
    ... I've seen rather a lot of programmers program to a fuzzy, incomplete, ... still expect the code not only to compile but to work. ... and you will be using the actual semantics of the language. ... That isn't pretending anything, and it certainly isn't pretending that ...
    (comp.programming)
  • Re: Aristotles logic decidable?
    ... > Your interpretation is a correct intensional semantic for Aristotelian ... A obversion: Aimplies E ... Although A and I obversion indeed hold when using the above semantics it can ...
    (sci.logic)
  • Re: [PATCH] slow_work_execute() needs mb() before test_bit(SLOW_WORK_PENDING)
    ... clear_bit_unlockimplies release semantics, iow we have a one-way barrier ... But we need the mbsemantics after clear_bit, ...
    (Linux-Kernel)
  • Re: An argument against modus ponens
    ... use of "implies", which is NOT that, that I was condemning, ... or possible worlds. ... semantics is not absolutely necessary. ...
    (sci.logic)
Quantcast