Il programma di Hilbert e i teoremi di incompletezza di Gödel
Résumé
Negli ultimi dieci anni abbiamo assistito a un rinnovato interesse per lo sviluppo storico del programma di Hilbert. Attraverso l'uso di fonti d'archivio conservate a Gottinga, Zurigo, Erlangen e altre sedi, una serie di ricercatori sono riusciti a portare alla luce documenti che ci permettono di ricavare un'immagine più completa delle varie fasi dello sviluppo del programma hilbertiano. Molte di queste ricerche sono avvenute nell'ambito dei lavori preparatori alla pubblicazione della cosiddetta Hilbert-Edition, un progetto editoriale che prevede la pubblicazione di sei volumi di lezioni e di altri scritti di Hilbert concernenti i fondamenti della matematica e della fisica. Rilevante è anche la pubblicazione delle opere e della corrispondenza di Kurt Gödel. Ultima, tra queste iniziative, è la preparazione di un volume contenente la quasi totalità degli scritti filosofici di Paul Bernays. Inoltre due recenti antologie hanno reso accessibile in inglese un'importante serie di articoli di Hilbert e Bernays. Il pubblico italiano aveva invece a disposizione già da parecchi anni la bella edizione degli articoli di Hilbert curata da Abrusci.