La prova di Gödel
Torino : Boringhieri, 1974
Abstract/Sommario:
Introduzione - Il problema della coerenza - Prove assolute di coerenza - La codificazione sistematica della logica formale - Un esempio di dimostrazione assoluta di coerenza - L'idea della rappresentazione e il suo uso in matematica - Le prove di Godel - Riflessioni conclusive.
| Campo | Valore |
|---|---|
| Descrizione | La prova di Gödel / Ernest Nagel e James R. Newman. - Torino : Boringhieri, 1974. - 108 p. ; 20 cm. - (Universale scientifica ; 102) |
| Note |
Traduzione di Luigi Bianchi.
|
| Titolo uniforme | |
| Collezione |
|
| Numeri |
|
| Autori |
|
| Chiavi | |
| Luogo di pubblicazione |
|
| Editore |
|
| Categorie | |
| Paese | |
| Lingua | |
| ID scheda | 44792 |
| Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095757 | Biblioteca | LC / 974 / 51 | Ammesso al prestito | A scaffale | Nessuna |