Fondamenti della matematica
Torino : Boringhieri, 1973
Abstract/Sommario:
Logica del prim'ordine - L'origine degli studi moderni sui fondamenti della matematica - Il sistema di Frege e i paradossi - La teoria dei tipi - La teoria degli insiemi di Zermelo-Fraenkel - Il programma hilbertiano e i teoremi di incompletezza di Godel - I sistemi fondazionali di W. V. Quine - L'algebra categoriale.
Campo | Valore |
---|---|
Descrizione | Fondamenti della matematica / William S. Hatcher. - Torino : Boringhieri, 1973. - 454 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica) |
Note |
Traduzione di Maria Luisa Dalla Chiara Scabia.
|
Titolo uniforme | |
Collezione | |
Autori |
|
Chiavi | |
Luogo di pubblicazione |
|
Editore |
|
Categorie | |
Paese | |
Lingua | |
ID scheda | 44510 |
Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
---|---|---|---|---|---|---|
Biblio Conf | 0095595 | Biblioteca | LC / 973 / 16 | Ammesso al prestito | A scaffale | Nessuna |