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".

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

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

Martin Hirzel: pubs: canon00-goedel-errata.txt
Revision from $Date: 2006/01/18 12:34:56 $ GMT