Descrizione

I teoremi di incompletezza sono tra i risultati più importanti ottenuti dalla logica nel XX secolo. Che cosa questi teoremi permettono di mettere in luce della natura del metodo assiomatico moderno e del modello di conoscenza che su questo metodo è andato costruendosi nelle scienze cosiddette "esatte"? Quando si fa di questi teoremi il centro dell'indagine tanto dal punto di vista storico quanto da quello filosofico si riescono a cogliere alcuni aspetti dell'assiomatica moderna presenti già prima di Gödel che si espliciteranno solo successivamente, come pure altri aspetti, tipici di ciò che di essa sarà dopo Gödel, che sarebbe sbagliato leggere in contrapposizione alla storia precedente. Nel volume si cerca di rispondere a questa domanda a partire da un'indagine su alcuni temi riguardanti i teoremi di Gödel, l'assiomatica di Hilbert e la metodologia della scienza di von Neumann.

Dettagli