Opere Vol. 4

Tutti i formati dell'opera

Acquistalo

Sinossi

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.

  • ISBN: 8833920291
  • Casa Editrice: Bollati Boringhieri
  • Pagine: 441

Dove trovarlo

€100,00

Recensioni

Al momento non ci sono recensioni, inserisci tu la prima!

Aggiungi la tua recensione

Citazioni

Al momento non ci sono citazioni, inserisci tu la prima!

Aggiungi citazione

Eventi

Nessun evento disponibile al momento

Tutti gli eventi

Il Libraio per te

Scopri i nostri suggerimenti di lettura

Ancora alla ricerca del libro perfetto?

Compila uno o più campi e lo troverai