Wednesday, March 16, 2005

Gödel's Theorem

Here is the link to Gödel's Theorem: On Formally Undecidable Propositions. And here is a biography of Gödel with some bibliography and links.

A very good, popular, accessible and fun book reflection on Gödel's Theorem and related matters is Doublas Hofstadter's Gödel Escher Bach. For a more concise, focused discussion see Gödel's Proof. There are reviews for both books at these links.

Gödel Escher Bach is available at the USD library and so is Gödel's Proof.

No comments: