Re: Mathematician Using Nil With Students

Jarle Stabell wrote:
If someone claims to know what the Gödel's Incompleteness theorem says, you should at the very least expect this person to be able to explain why Gödel's Completeness theorem doesn't contradict Gödel's Incompleteness theorem.

Some formal systems are complete and other systems are incomplete.

(I must admit I hadn't heard of the Completeness Theorem. According to Wikipedia it says that First Order Predicate Calculus is Complete, so I had to look it up in my old text books, but all I could find was a proof by Henkin from 1949 that non-modal Lower Predicate Calculus is Complete. Times like this you realize that perhaps you too have read one book too much and one book too little.)

--
Henrick Hellström
www.streamsec.com
.

Relevant Pages

  • Re: Petersons Death Sentence
    ... >> incompleteness theorem, which is much better known, but applicable to ... > "Gödel's completeness theorem is a fundamental theorem in mathematical ... Stating it is irrelevant. ... > Completeness theorem are theorem about particular logical systems. ...
    (sci.electronics.design)
  • Re: Petersons Death Sentence
    ... >> incompleteness theorem, which is much better known, but applicable to ... > "Gödel's completeness theorem is a fundamental theorem in mathematical ... Stating it is irrelevant. ... > Completeness theorem are theorem about particular logical systems. ...
    (comp.os.linux.networking)
  • Re: FOL & completeness
    ... The completeness theorem is that if a formula is satisfied by ALL ... iff, ... said axioms. ... usually mentioned as itself a clause in the incompleteness theorem. ...
    (sci.logic)