Il ne s'agit pas d'une biographie de Gödel (l'auteur résume sa vie en une demi-page et renvoie à une biographie complète, par J.W. Dawson), mais d'une présentation de "l'oeuvre logique et des analyses philosophiques qui la prolongent", ainsi que de ses rapports avec les conceptions passées et contemporaines, de Platon et Descartes à Turing et Russell.

Structure de l'ouvrage :
Repères chronologiques
Introduction
Chap. 1 : Gödel dans la bibliothèque de Babel
Chap. 2 : Gödel dans l'histoire des sciences
Chap. 3 : Le théorème d'incomplétude
Chap. 4 : 1934/1937 La calculabilité
Chap. 5 : 1938 L'hypothèse du continu
Chap. 6 : 1958 Le fondement de l'arithmétique
Conclusion
Notice des principales figures évoquées