Tra i massimi filosofi del Novecento, Kurt Gödel (1906-1978) ha cambiato con i suoi studi il corso della storia della logica. I suoi teoremi dell’incompletezza sono tra i risultati più notevoli del XX secolo, insieme alla teoria della relatività einsteiniana, all’invenzione del computer, alla scoperta del DNA. Di quei teoremi il libro fornisce una spiegazione accessibile ed esauriente, e un inquadramento storico che elimina ogni imprecisione.