Opere. Vol. 2: 1938-1974...
Bollati Boringhieri
Edited by Ballo E., Lolli G. and Mangione C.
Torino, 2002; paperback, pp. XX-398, ill., cm 16,5x24.
(Opere di Gödel).
series: Opere di Gödel
ISBN: 88-339-1421-6
- EAN13: 9788833914213
Languages:
Weight: 0.932 kg
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.