Il logico austriaco Kurt Gödel, autore dei due teoremi di incompletezza pubblicati nel 1931, ha lasciato 1.009 pagine di appunti scritti in una stenografia ormai obsoleta e mai del tutto decifrata. Gli storici della scienza riferiscono che l’uso di sistemi di intelligenza artificiale ha permesso di tradurre gran parte di questo materiale, rivelando centinaia di teoremi dimostrati ma mai pubblicati dallo studioso. Dopo i risultati fondamentali degli anni Trenta, Gödel diede alle stampe solo pochi lavori, pur continuando a produrre decine di migliaia di pagine di appunti personali. Gli esperti definiscono il logico «in anticipo sui tempi», sottolineando come i nuovi testi decifrati offrano una visione inedita del suo metodo di lavoro. La scoperta apre la strada a ulteriori analisi dell’archivio, considerato tra i più complessi della storia della matematica del Novecento.