Descrizione
Opere. Vol. 2: 1938-1974. I risultati che hanno reso famoso Gödel sono la completezza semantica del calcolo dei predicati, l'incompletezza dei sistemi assiomatici contenenti l'aritmetica (il cosiddetto 'teorema d'incompletezza di Gödel'), infine la contraddittorietà dell'assioma di scelta e dell'ipotesi del continuo con gli assiomi della teoria degli insiemi. Questo secondo volume delle opere contiene tutti gli scritti pubblicati da Gödel nel periodo 1938-74. Il volume è accompagnato da note introduttive ai singoli testi che permettono di affrontarli separatemente, anche senza una preparazione specialistica.
Dettagli Bibliografici
EAN ISBN-13:9788833914213
ISBN-10:8833914216
Titolo:Opere. Vol. 2: 1938-1974
Sottotitolo:1938-1974
Autore: Kurt Gödel , Ballo E. (cur.) , Lolli G. (cur.) , Mangione C. (cur.)
Editore:Bollati Boringhieri
Data Pubblicazione:2002
Collana:Opere di Gödel
Pagine:XX-398
Genere:matematica
Classificazione:Logica matematica
Argomenti :Logica matematicaMatematica
