Re: Gödel's theorems in Wikipedia

Chris Menzel wrote:

Aatu, I have a suggestion for the definition of omega-consistency in the
first section of the article; the one you provided seems to me a bit
hard to parse.  Currently, it reads:

  Omega-consistency is a technical concept which applies to a theory T if
  T does not prove for any property P that there exists a number with a
  property P and simultaneously prove for every natural number n that n
  does not have the property P.

I suggest:

Omega-consistency is a technical concept which applies to a theory T if,
for no property P, (i) T proves the general proposition that there
exists some number with the property P, but (ii) for every specific natural number n, T proves that n does not have the property P. 

Changed.

It also strikes me that the sentence that follows in that paragraph
(which is intended to clarify the second part of the definition) becomes
unnecessary with this change.


I agree, it's now gone.

Also, the second paragraph in that section might fit better in the
section "Misconceptions about Gödel's Theorem."


Moved it there.

And I still think someone ought to just clobber the section on "The
Meaning of Gödel's Theorem", which is a mess, especially in contrast
with your sections on the incompleteness theorem and the nice new
section (yours also?) on Gentzen's Theorem.

Yes, I rewrote the section on Gentzen's Theorem. I just couldn't stand the previous version which included such interesting claims as

"Gentzen's theorem implies both of Gödel's theorems, and was the natural consequence of wondering whether Gödel's narrow and negative results depended on the assumption of using a theory self referentially as its own proof theory."

!

I'm thinking of ditching "The Meaning of Gödel's Theorem" and adding something about proof theoretical reflection and inexhaustibility in its place, but that'll have to wait.

Thanks for the suggestions.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
 - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages

  • Re: Phils Subversion (Formerly "With" or "by")
    ... himself that would clarify his opinion nor his behavior - except to ... display an evident resentment of anyone who knows other than he does, ... than general terms, and actually gain meaning by being less precise, by ... I read this type of attitude, "Taliban" most often comes to my part Anglo ...
    (alt.usage.english)
  • Re: Other meanings not listed in dictionaries
    ... hames Noun. ... hames of that meal, by overcooking the beef and making lumpy ... OED confirms that definition of "hame", but the evidence for linking the two meanings isn't given in "Greenspeak", nor does OED give the "mess" meaning. ...
    (alt.usage.english)
  • RE: Macro trouble
    ... Can you clarify the meaning of "only partially worked"? ... Have you checked for broken references in the VBA projects ...
    (microsoft.public.word.vba.general)
  • Re: Regex question; match
    after opening tag
    ... Then why are you trying to use REs to parse this mess? ... Meaning, would it work if we assume that the tags are always div, ... I care, ...
    (comp.lang.perl.misc)
  • Re: "claim", etc. (was Re: C Standard Regarding Null Pointer Dereferencing)
    ... meaning of words and not their potential emotional impact on readers. ... I added the additional meaning to try to help to clarify what was ... and there is no undefined behaviour until casting to ... reasoning, in order to help to convince myself of this. ...
    (comp.lang.c)