motore di ricerca
Diventa Fan su Facebook
cataloghi novità - Piemonte - Monferrato - Asticataloghi editorischede autorinotizie2022 Promozioni
Alcune proposte
OPERE
Volume 1 1929-1936
Volume II 1938 - 1974

Kurt Gödel è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica nonchè l'ulteriore riflessione sui fondamenti della matametica. 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 dell'incompletezza di Gödel (1930-31) - e, infine, la non contradditorietà dell'assioma di scelta e dell'ipotesi del continuo con gli altri assiomi della teoria degli insiemi (1940)Questo primo volume delle Opere, traduzione del corrispondente volumedella edizione americana pubblicata sotto gli auspici della Association for Symbolic Logic nel 1986, contiene tutti gli scrittipubblicati da Gödel nel periodo 1929- 1936, a cominciare dalla disertazione del 1929, finora disponibile solo all'Università di Vienna, e rende accessibile e utilizzabile l'opera ad 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 puri molti lettori non specialisti con una formazione scientifica in senso lato. Anche gli scritti minori aprono squarci insospettati sui molteplici interessi di Gödel, inclusa ad esempio l'economia matematica e la suapartecipazione al circolo di Vienna. Il capitolo introduttivo su La vita e le opere di Gödel, scritto dal direttore dell'edizione americana Solomon Feferman, si proponecome riferimento iniziale a coloro che vogliono intraprendere la lettura del volume e lo studio del pensiero di Gödel. Le note introduttive ai singoli testi, ricche di notizie storiche e di inquadramenti tecnici, permettono di affrontarli separatamente anche senza preparazione particolare, almeno quanto basta per poter apprezzare i risultati di Gödel nei vari casi.

VOLUME I

INDICE

Nota dei curatori italiani
Prefazione all'edizione americana
Informazioni al lettore
Ringraziamenti


Opere 1929 - 1936

La vita e le opere di Gödel, di Solomon Feferman
Note
Una cronologia di Gödel, di John W. Dawson Jr.

Nota introduttiva a 1929, 1930, 1930a, di Burton Dreben e Jean van Heijenoort

Sulla completezza del calcolo della logica
La completezza degli assiomi del calcolo funzionale logico
Sulla completezza del calcolo della logica

Nota introduttiva a 1930b, 1931 e 1932b, di Stephen C. Kleene

Alcuni risultati metamatematici su completezza e coerenza
Proposizioni formalmente indecidibili dei Principia Mathematica e di sistemi affini I
[..]

Bibliografia
Indice analitico




Kurt Godel

OPERE volume 1 1929-1936

editore BOLLATI BORINGHIERI
edizione 1999
pagine 362
formato 16x24
rilegato con sovracoperta
tempo medio evasione ordine
2 giorni

62.00 €
44.00 €

ISBN : 88-339-1183-7
EAN :

 
©1999-2024 Tutti i diritti riservati
Via Brofferio, 80 14100 Asti - Piemonte - ITALY
Cell +39 3490876581
Spedizioni corriere espresso in Italia e in tutto il mondo
Riceviamo in sede su appuntamento
P.IVA 01172300053 - Cod.Fisc. BSSVCN50C23B425R - REA AT-93224
ebussi50@gmail.com