Godel's metatheorems about incompleteness: Links to documents explaining the ideas and strategy

  • Thread starter Thread starter PseuTonym
  • Start date Start date
Status
Not open for further replies.
P

PseuTonym

Guest
One document of interest is …
Naming and Diagonalization, From Cantor to Gödel to Kleene
Logic Journal of the IGPL, October 2006 pp. 709 - 728
Click to expand...
Link:
columbia.edu/~hg17/naming-diag.pdf

Another document of interest is …
The Easy Way to Gödel’s Proof and Related Matters
An exposition of the basic ideas and the history leading to
the incompleteness results.
14 pages.
Click to expand...
Link:
columbia.edu/~hg17/Inc07-chap0.pdf

If you would prefer to save only one bookmark, and use that one bookmarked link to get both of the above links, plus links to other documents, then the following link is for you …
columbia.edu/~hg17/
 
There have been different interpretations of Godel’s theorem. Some will say that it implies that human creativity cannot be reduced to any set of computational rules. However, others will say that it is possible for there to exist a theorem-proving machine which is equivalent to mathematical intuition.
 
Status
Not open for further replies.
Back
Top