Die Gödel'schen Unvollständigkeitssätze

Nel 1931, nel Mensile di Matematica e Fisica, apparve un articolo dal titolo misterioso "Sui teoremi formalmente indecidibili dei Principia Mathematica e sistemi affini I". In questo lavoro, Kurt Gödel dimostrò due teoremi di incompletezza che hanno radicalmente cambiato la nostra visione della matematica. I teoremi di Gödel manifestano che esiste un divario incolmabile tra il concetto di verità e quello di dimostrabilità. La matematica non si adatta a nessuno schema formale. Dalla loro scoperta, i teoremi di incompletezza sono diventati un argomento di discussione comune e una miriade di libri si dedica al loro contenuto straordinario. Tuttavia, pochi lavori trattano l'opera di Gödel nella sua forma originale - e ciò ha motivi validi: le sue complesse catene argomentative, descritte con precisione meticolosa, e le numerose definizioni e teoremi.