Goedel's Proof (1 Viewer)

[umaycallmealex]

Does anyone know where I can find a copy of Goedel's proof?
A soft version would be great - I've done 4u high school maths but nothing more...

 

[Iruka]

Apparently this is a modern English translation

http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf

Can't say I've read it.

 

[umaycallmealex]

that's superb thankyou very much

 

[Affinity]

If you need something a little more comprehensive

"Friendly Introduction to Mathematical Logic"
Christopher C. Leary:

 

[KFunk]

A couple other sources you could check out:

Gödel's proof by Ernest Nagel (short, written in plain language)

An Introduction to Gödel's Theorems by Peter Smith (somewhat longer, but includes more of the important technical details whilst remaining accessible)