Kurt Gödel è stato certamente il logico più influente del Novecento. I suoi lavori, visti come delle pietre miliari e come tali richiamati ancora oggi nella letteratura specialistica, investono aspetti fondamentali per la ricerca in campo matematico, quali la relazione tra verità e dimostrabilità o questioni relative alla natura e ai limiti della conoscenza matematica. Questo profilo nasce dal tentativo di correggere l'impressione che la grandezza del personaggio possa essere ricondotta a uno dei suoi molteplici contributi in particolare, come ad esempio il teorema di incompletezza per le teorie assiomatiche al quale egli deve gran parte della sua fama. Al contrario, il volume cerca di offrire una panoramica per quanto possibile esaustiva dell'opera logica e matematica di Gödel, così da valutarne meglio la portata.