| Titolo | Opere. Vol. 3: Saggi inediti e conferenze | |
| Autore | Godel Kurt | |
| Editore | Bollati Boringhieri | |
| Collana | Opere di Gödel | |
| Anno | 2006 | |
| pp. | 456 | |
| 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 di 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). Questo terzo volume delle Opere, traduzione del corrispondente volume dell’edizione americana pubblicata sotto gli auspici della Association for Symbolic Logic, contiene una ricca selezione di articoli non pubblicati e testi di conferenze, trovati nel Nachlass di Gödel, che aggiungono elementi preziosi alla nostra comprensione e al nostro apprezzamento del suo pensiero filosofico e matematico. Illustra anche la puntigliosa ricerca di una comprensione chiara e profonda dei problemi: il volume contiene due delle sei versioni di un articolo su Carnap che Gödel venne scrivendo fra il 1953 e il 1956 e finì col non pubblicare per non aver raggiunto un "chiarimento conclusivo della situazione". 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, di informatica e di fisica, come pure molti lettori non specialisti con una formazione scientifica in senso lato. Come nei due precedenti volumi, anche qui le note introduttive ai singoli testi, ricche di notizie storiche e di inquadramenti tecnici, permettono di affrontarli separatamente e senza preparazione particolare, almeno quanto basta per apprezzare i risultati e le argomentazioni di Gödel nei vari casi. | ||
| Note | A cura di Solomon Feferman | |