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: Masonry and Christianity.
    ... Or clarify your meaning, perhaps? ... I believe our Brother means that the fairer gender tends to respond first ...
    (soc.org.freemasonry)
  • Re: Function type
    ... > Let me clarify. ... If you mean 'type' in the meaning of the type of an object, ... The C-language FAQ: http://www.eskimo.com/~scs/C-faq/top.html ... C-reference: http://www.dinkumware.com/manuals/reader.aspx?lib=c99 ...
    (comp.lang.c)
  • Re: 2003 L200 Saturn Automatic - Is bottom right display light in dash for ATF?
    ... that the meaning of doesn't just jump out at me. ... I forgot to specify the light I wanted to clarify: the one in the lower right ...
    (rec.autos.makers.saturn)