Sotto il segno di Gödel

I lavori di Kurt Gödel (1906-1978), considerato il maggior logico dopo Aristotele, presentano una inedita combinazione di limpida trasparenza, propria della logica, e oscuri miraggi della magia. Di qui il fascino tutto speciale del loro autore, un personaggio schivo e imprevedibile che, al pari di Einstein, Schrödinger, von Neumann e Crick, si colloca fra i grandi del Novecento. Di tali figure si offrono spesso divulgazioni semplificate o addirittura caricaturali: il nome di Gödel ad esempio evoca immancabilmente i limiti della ragione, o la giustificazione della fede. Gabriele Lolli sgombra il campo dalle versioni inesatte ed esagerate del pensiero gödeliano, facendo luce non solo su temi come la completezza logica, l'incompletezza e l'indecidibilità della matematica formale, la teoria degli insiemi, le origini dell'informatica e la filosofia della matematica, ma anche la cosmologia e la religione. Ne emerge l'appassionante ritratto intellettuale di un autentico genio del pensiero.