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