Opere

Consulta il libro - Opere

Titolo	Opere
Volume	4 - Corrispondenza A-G
Autore	Kurt Gödel
Traduttori	G. Lolli, C. Mangione
argomento	Scienza e Tecnica Matematica Logica e teoria degli insiemi
Collana	Opere di Gödel
Editore	Bollati Boringhieri
Formato	Libro
Pagine	441
Pubblicazione	2009
ISBN	9788833920290
	Acquistabile con Carta del docente, Carta Cultura Giovani o Carta della Cultura

aggiungi ai desideri

100,00 € 95,00 € (-5%)

aggiungi ai desideri

Disponibilità immediata

Descrizione

Kurt Gödei è 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ödei sono la completezza semantica del calcolo dei predicati (1930), l'incompletezza dei sistemi assiomatici contenenti l'aritmetica - il cosiddetto teorema d'incompletezza di Godei (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 dedicati alla corrispondenza di interesse logico, filosofico e scientifico intrattenuta da Gödei 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ödei 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.