« Back | Home | Next »

 

Godel's theorem

[Science | Link | Print]

Kurt Godel's incompleteness theorem - the claim that every formal system of mathematics contains an undecidable formula and that a system's consistency cannot be proven within the system - has been hailed as the mathematical equivalent of relativity and quantum mechanics, evidence, in the words of William Barrett, that "Mathematicians now know they can never reach rock bottom; in fact, there is no rock bottom, since mathematics has no self-subsistent reality independent of the human activity that mathematicians carry on." Not so, claims philosopher and novelist Rebecca Goldstein in Incompleteness, her recent book on Godel. On the contrary, Godel not only believed in a reality "out yonder" (to use Einstein's words) but believed that this objective reality include abstract entities like numbers. He was a thorough mathematical Platonist, and in fact his Platonic convictions led him to the theorem in the first place. Goldstein's lucid book captures the drama and significance of what Godel always considered his "discovery" (not invention), and describes treats the logical, mathematical, and philosophical issues with remarkable lucidity.

posted by Peter J. Leithart on Monday, August 01, 2005 at 10:32 PM

Go home!

RECENT ENTRIES
- Celebrity
- Obama's faith
- The Gaze
- Sacrifice and death
- Derrida the theologian
- Miriam's leprosy
- Prematurely white
- Gift of the Text
- Calvin, Milbank, and Gifts
- Derrida on Gifts
- Ontology of Personhood
- Knowing God Twice
- Unity or Revelation
- Engaging Barth
- Eucharistic exhortation
- Exhortation
- Unread books
- Vestiges of Perichoresis
- Hooray for Hollywood
- Augustine on the web
CATEGORY ARCHIVES
LINKS
- Biblical Horizons
- Covenant Worldview Institute
- Theologia
SYNDICATE

XML  |   RDF

CONTACT

Comments:
leithart@leithart.com

Problems:
webmaster@leithart.com