Opere. 5.Corrispondenza H-Z

Opere. 5.Corrispondenza H-Z

Kurt Godei è 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 Godei 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 Godei 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 Godei 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.
Prezzo: € 100,00
Aggiungi a lista dei desideri
Al momento non disponibile, ordinabile in 3 settimane circa

Dettagli Libro

Libri che ti potrebbero interessare

Il regno di Kensuke
Il regno di Kensuke

Michael Morpurgo, M. C. Scotto di Santillo, P. D'Altan, D. Ziliotto
Furbo, il signor Volpe
Furbo, il signor Volpe

Roald Dahl, N. Ottogigli
Attrazione fetale
Attrazione fetale

Kathy Lette
L'India mistica e leggendaria
L'India mistica e leggendaria

Giuliano Corà, Louis Frédéric
Il Club Gabriel
Il Club Gabriel

I. Ragazzi, Isabella Ragazzi, V. Mingiardi, Joydeep Roy-Bhattacharya, Vincenzo Mingiardi
Dove scorre il fiume rosso
Dove scorre il fiume rosso

Maria Grazia Gini, Régine Deforges