- "The second incompleteness theorem, which follows pretty straightforwardly from the first, proves that one of the things that you can't prove in a formal system of arithmetic is the consistency of that very system." http://www.edge.org/3rd_culture/goldstein05/goldstein05_index.html 3 comments philosophy
- Gödel and the nature of mathematical truth (fascinating read) http://www.edge.org/3rd_culture/goldstein05/goldstein05_index.html 85 comments science
Linking pages
Related searches:
Search whole site: site:edge.org
Search title: Edge: GÖDEL AND THE NATURE OF MATHEMATICAL TRUTH
See how to search.