La prova di Gödel
Torino : Boringhieri, 1974
Abstract:
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.
| Field | Value |
|---|---|
| Description | La prova di Gödel/ Ernest Nagel e James R. Newman. - Torino : Boringhieri, 1974. - 108 p. ; 20 cm. - (Universale scientifica ; 102) |
| Notes |
Traduzione di Luigi Bianchi.
|
| Uniform title | |
| Series |
|
| Numbers |
|
| Authors |
|
| Keys | |
| Publishing location |
|
| Editor |
|
| Country | |
| Language | |
| ID file | 44792 |
| Library | Inv. | Ubi. | Collocation | State | Status | Reservations |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095757 | Biblioteca | LC / 974 / 51 | Available | In library | None |