Re: all the incompleteness proofs are worthless untill...

you say
Or is the situation one of endless regress: we can prove the
consistency
of S1 in S2, but we can only prove the consistency of S2 with S3, and
forall n, we can only prove S_n in S_succ(n).

i say look at godels self contradiction
to se he proved nothing

GODEL IS SELF-CONTRADICTORY
But here is a contradiction Godel must prove that a system cannot be
proven to be consistent based upon the premise that the logic he uses must
be consistent . If the logic he uses is not consistent then he cannot
make a proof that is consistent. So he must assume that his logic is
consistent so he can make a proof of the impossibility of proving a system
to be consistent. But if his proof is true then he has proved that the
logic he uses to make the proof must be consistent, but his proof proves
that this cannot be done


--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.

Relevant Pages

  • Re: Godel on BBC 4
    ... If a theory is rich enough to have models that formulate syntax, ... formulation that the system is consistent. ... formulate syntax, axioms and axiomatic deduction. ... Ps the last bit (from Godel onwards) is maybbe a bit non-academic ...
    (sci.logic)
  • Re: Formulating sentences in a possibly consistent ZF
    ... formulizable sentences then ZF is a totality of sentences. ... sentence then it is consistent, ... "In ZF we can formulate a sentence that holds iff ZF is consistent". ... "Understanding Godel isn't about following his formal proof. ...
    (sci.logic)
  • Re: robinson arithmetic is not incomplete
    ... it is commonly accepted that godel is talking about true statements in his ... assuming the theory is consistent (as done in the theorem's ... so rupert still admit godel talks about truth-even though accoroding to ... mathematical precision at the time of the writing of the paper ...
    (sci.logic)
  • Re: all the incompleteness proofs are worthless untill...
    ... untill he proves maths is consistent he has proved nothing ... so you cant say godel proved systems cant be shown to be consistent -he ...
    (sci.logic)
  • Re: Godel on BBC 4
    ... from the notion of 'truth' in the liar paradox. ... If a theory is rich enough to have models that formulate syntax, ... formulation that the system is consistent. ... "Understanding Godel isn't about following his formal proof. ...
    (sci.logic)