| i lavori di kurt godel (1906-1978), considerato il piu` grande logico dopo aristotele, uniscono la trasparenza della logica agli oscuri miraggi della magia, una combinazione da cui deriva il fascino tutto speciale del loro autore, un personaggio schivo e imprevedibile che, con einstein, schrodinger, von neumann, crick e pochi altri, ha a buon diritto un posto tra i protagonisti del novecento responsabili della chiusura definitiva con il passato e della proiezione nel futuro. ma queste grandi figure della scienza sono spesso ridotte a simboli caricaturali di una divulgazione semplificata, cosi` che, se per einstein si dice che tutto e` relativo, nel caso di godel si citano i limiti della ragione, o addirittura la giustificazione della fede. evitando ogni imprecisione e approssimazione, gabriele lolli sgombra il campo dalle versioni inesatte ed esagerate del pensiero godeliano facendo luce, con uno stile chiaro e accessibile, sui temi che piu` colpiscono i non specialisti: la completezza logica, l`incompletezza e l`indecidibilita` della matematica formale, la teoria degli insiemi, le origini dell`informatica, la filosofia della matematica. |
