Logical Dilemmas, de John W. Dawson, Jr.

    Biografía de Kurt Gödel. Bastante extensa y bien documentada. Da bastante refuerzo matemático para entender el significado del trabajo de Gödel, aunque a ratos se hace excesivamente técnico para alguien que no esté trabajando directamente en lógica.

    La historia no deja de ser trágica; en realidad Gödel fue un hombre profuindamente solitario, con manías que procedían del mismo sitio que su genio y que acabaron llevándole a la muerte.

    Muy interesante también la discusión sobre el platonismo matemático.