My 2000 translation of Kurt Gödel's famous 1931 proof
  "On formally undecidable propositions ..."
contains errors. People have pointed out the following:

  - In your translation of the stype relation (number 19) you use 
    Godel's notation R(v) when I think you want item(v).

  - Just after formula 8.1, you added the comment: "Intuitively Q(x; y)
    means x does not prove y(y)". However, I was unable to locate a
    definition of "y(y)". What did you mean here?

  - On page 10, meta-mathematical concept 17, should
    read number(n) = succ_n (n, seq (n) ).

  - Metamathematical concept 28 (page 11) looks to me it should
    read: "freePlace(k+1, v, x) = argmin n < freePlace(k, v, x)". The
    next line is better put as: "free(v, n, x) And Not ThereExists p {n
    < p < freePlace(k, v, x) And free(v, p, x)}". The "ThereExists"
    Quanitifer in this line applies to "p", not "n".

  - On page 12, meta-mathematical concept 36, should
    read " ... by inserting into one of ... ".

  - On page 17, at the top of the page, it should read
    " i.e. the following" instead of "i.e. it the following".

  - One page 21, the reference section should be titled "References",
    not "Literatur", which is not quite an English word.

Thanks to Bhupinder Singh Anand, Ivo Renkema, Bitai Tamas, Ajoy
Thamattoor, and Adam Wells for this feedback!

----------------------------------------------------------------------

Martin Hirzel: pubs: canon00-goedel-errata.txt
Revision from $Date: 2010/05/09 12:00:00 $ GMT