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.
Giornalista, ha collaborato con webzine, riviste, uffici stampa e agenzie. Ha scritto i romanzi «La lunga notte dell'Iguana», «Il Leone e la Rosa», «Nessun dolore», «Zona d'ombra», «La notte delle falene» e la raccolta «Sette racconti». Con il racconto «L'uomo con la pistola» ha collaborato al progetto YouCrime (Rizzoli). Il suo romanzo «Il Leone e la Rosa» è stato tradotto per Amazon Crossing in inglese da Aaron Maines («The Lion and the Rose») e in tedesco da Marion Ahl («Der Löwe und die Rose»).
Un quadro generale sui principali teoremi logico-matematici di Gödel. Ogni capitolo si conclude con un approfondimento storico-blibliografico. Chiaro e sintetico. Evita quasi totalmente i formalismi. Forse un po' troppo "compatto". Alcuni passaggi avrebbero avuto bisogno di qualche esempio in più per essere compresi, ma credo siano stati evitati volutamente per dare spazio al percorso storico di sviluppo dei suoi teoremi.