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

From: "elsiemelsi" <cyprinsam@xxxxxxxxxxxxxxx>
Date: Fri, 21 Mar 2008 04:45:43 -0500

you say
But Goedel did more than this. He proved in PM* *without using the
axiom of reducibility* that P is either omega-inconsistent, or
undecidable and incomplete. This is even more interesting

sorry he uses AR
axiom 1v
just as he uses peano axioms
axioms 1-3

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

.

Follow-Ups:
- Re: all the incompleteness proofs are worthless untill...
  - From: Rupert

References:
- all the incompleteness proofs are worthless untill...
  - From: elsiemelsi
- Re: all the incompleteness proofs are worthless untill...
  - From: Rupert

Prev by Date: Re: all the incompleteness proofs are worthless untill...
Next by Date: Re: all the incompleteness proofs are worthless untill...
Previous by thread: Re: all the incompleteness proofs are worthless untill...
Next by thread: Re: all the incompleteness proofs are worthless untill...
Index(es):
- Date
- Thread

Relevant Pages

Re: Is theory with infinite number of axioms incomplete?
... is incomplete. ... consistent theory" (this is added as an axiom encoded by Godel's ... thus infinite number of axioms) complete? ...
(sci.math)
Is theory with infinite number of axioms incomplete?
... is incomplete. ... Add the following inprovable statement as a new axiom: ... consistent theory" (this is added as an axiom encoded by Godel's ... thus infinite number of axioms) complete? ...
(sci.math)
Re: Prime Spectrum and Axiom of Choice
... I'll try to tell you why I think that the conjecture works.. ... I will give an incomplete argument. ... always insecure when using axiom of choice, ... (P is the prime ideal in the problem, the one satisfying the ...
(sci.math)
Re: Godel did not destroy the Hilbert Frege Russell programme
... "In the Introduction to the second edition of Principia, ... REPUDIATED Reducibility as 'clearly not the sort of axiom with which we ... Here is a quote from a previous post: ...
(sci.logic)
Re: Goedels Incompleteness Theorem and omega-consistency
... OF COURSE constant symbols are closed terms. ... EVER came up with ANY omega-INconsistent theory IN THE FIRST PLACE. ... are not proper symbols of T. Let T' be the result of adjoining b_1, b_2, ... ... that does not occur in a proper axiom of T. ...
(sci.logic)