CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn questo volume viene fornita una ricostruzione-valutazione dei programmi che Hilbert, insieme con i suoi allievi, propose negli anni Venti del secolo scorso: il programma della non-contraddittorietà e il programma della conservazione (detto anche "programma della coerenza esterna"). Il carattere particolare del volume è dato dal fatto che le considerazioni sono fatte dall'angolo visuale fornito dalle indagini di teoria della dimostrazione fatte da G. Kreisel in una serie di importanti lavori che vanno dalla fine degli '50 agli anni '80.
| Autori interni: | |
| Autori: | Moriconi E |
| Titolo: | La teoria della dimostrazione di Hilbert |
| Anno del prodotto: | 1988 |
| Abstract: | In questo volume viene fornita una ricostruzione-valutazione dei programmi che Hilbert, insieme con i suoi allievi, propose negli anni Venti del secolo scorso: il programma della non-contraddittorietà e il programma della conservazione (detto anche "programma della coerenza esterna"). Il carattere particolare del volume è dato dal fatto che le considerazioni sono fatte dall'angolo visuale fornito dalle indagini di teoria della dimostrazione fatte da G. Kreisel in una serie di importanti lavori che vanno dalla fine degli '50 agli anni '80. |
| Appare nelle tipologie: | 3.1 Monografia o trattato scientifico |
File in questo prodotto:
Copyright © 2021