Godel's Proof(by Jim Spinosa)

In 1958 Ernest Nagel and James R. Newman's book Godel's Proof was published. It is a through but accessible explanation of Godel's theorem. If you study their explanations deeply you will come to the conclusion that Godel's theorem is invalid. Godel translated the elements of mathematics into numbers which he calls Godel numbers. Each individual element of a mathematical formula is assigned a number such as each of the variables, each of the constants,
each of the various signs and symbols plus each element of punctuation including left and right
parentheses. The Godel number for a formula also encodes the order in which the elements
occur so for example the Godel number of the formula 0=0 is 243,000,000. Godel also has a
method to assign a Godel number to sequence of formulas grouped together to form a proof.
Godel's assignment of Godel numbers to the individual elements of mathematical formulas
is not rigorous enough to avoid confusion. He adds to the confusion by concocting formulas where variables such as y refer to entire proofs. This may have been done on purpose in an
effort to prove his thesis.