Kurt Gödel è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica nonchè l'ulteriore riflessione sui fondamenti della matametica. I risultati che hanno reso famoso Gödel sono la completezza semantica del calcolo dei predicati (1930), l'incompletezza dei sistemi assiomatici contenenti l'aritmetica - il cosiddetto teorema dell'incompletezza di Gödel (1930-31) - e, infine, la non contradditorietà dell'assioma di scelta e dell'ipotesi del continuo con gli altri assiomi della teoria degli insiemi (1940)Questo primo volume delle Opere, traduzione del corrispondente volumedella edizione americana pubblicata sotto gli auspici della Association for Symbolic Logic nel 1986, contiene tutti gli scrittipubblicati da Gödel nel periodo 1929- 1936, a cominciare dalla disertazione del 1929, finora disponibile solo all'Università di Vienna, e rende accessibile e utilizzabile l'opera ad un pubblico non limitato a logici e matematici, ma comprendente anche studiosi di filosofia, di storia della scienza, d'informatica e addirittura di fisica, come puri molti lettori non specialisti con una formazione scientifica in senso lato. Anche gli scritti minori aprono squarci insospettati sui molteplici interessi di Gödel, inclusa ad esempio l'economia matematica e la suapartecipazione al circolo di Vienna. Il capitolo introduttivo su La vita e le opere di Gödel, scritto dal direttore dell'edizione americana Solomon Feferman, si proponecome riferimento iniziale a coloro che vogliono intraprendere la lettura del volume e lo studio del pensiero di Gödel. Le note introduttive ai singoli testi, ricche di notizie storiche e di inquadramenti tecnici, permettono di affrontarli separatamente anche senza preparazione particolare, almeno quanto basta per poter apprezzare i risultati di Gödel nei vari casi.

VOLUME I
INDICE

Nota dei curatori italiani
Prefazione all'edizione americana
Informazioni al lettore
Ringraziamenti

Opere 1929 - 1936

La vita e le opere di Gödel, di Solomon Feferman
Note
Una cronologia di Gödel, di John W. Dawson Jr.

Nota introduttiva a 1929, 1930, 1930a, di Burton Dreben e Jean van Heijenoort

Sulla completezza del calcolo della logica
La completezza degli assiomi del calcolo funzionale logico
Sulla completezza del calcolo della logica

Nota introduttiva a 1930b, 1931 e 1932b, di Stephen C. Kleene

Alcuni risultati metamatematici su completezza e coerenza
Proposizioni formalmente indecidibili dei Principia Mathematica e di sistemi affini I
[..]

Bibliografia
Indice analitico