Kurt Gödel è autore di un’opera che ha influenzato tutti gli sviluppi successivi della logica nonché l’ulteriore riflessione sui fondamenti della matematica. 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 d’incompletezza di Gödel (1930-31) – e, infine, la non contraddittorietà dell’assioma di scelta e dell’ipotesi del continuo con gli altri assiomi della teoria degli insiemi (1940). Con i volumi qui presentati, dedicati alla corrispondenza di interesse logico, filosofico e scientifico intrattenuta da Gödel nel corso della vita, si conclude questa edizione delle sue Opere, pubblicata sotto gli auspici della Association for Symbolic Logic. Come già nei precedenti volumi, anche qui le note introduttive ai singoli carteggi, ricche di notizie storiche e d’inquadramenti tecnici, permettono al lettore di seguire le varie questioni di volta in volta dibattute.
Nel complesso, questa edizione intende rendere accessibile e utilizzabile l’opera di Gödel a 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 pure molti lettori non specialisti con una formazione scientifica in senso lato.
Nel complesso, questa edizione intende rendere accessibile e utilizzabile l’opera di Gödel a 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 pure molti lettori non specialisti con una formazione scientifica in senso lato.
