Libri di Giambattista Formica
Bibliografia di Giambattista Formica: tutti i libri in vendita online
Su Unilibro trovi i libri di Giambattista Formica in vendita online: scopri la bibliografia dell'autore, le ultime uscite e le offerte disponibili.
Consulta la cronologia dei libri di Giambattista Formica, scegli il titolo che ti interessa, aggiungilo al carrello e completa l'acquisto in pochi clic.
Pensiero assiomatico. I teoremi di Gödel, la riflessione di Hilbert e la metodologia di von Neumann Formica Giambattista - Urbaniana University Press, 2023 - Studia
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.
Da Hilbert a von Neumann. La svolta pragmatica nell'assiomatica Formica Giambattista - Carocci, 2013 - Biblioteca Di Testi E Studi
I teoremi di Gödel suscitano un interesse sempre crescente nella riflessione filosofica contemporanea. Rimane però in discussione fra gli studiosi come si sia arrivati alla loro scoperta e quale sia il loro significato per il dibattito sui fondamenti delle scienze. Nel volume si ripercorrono le vicende che portarono alla formulazione dei teoremi di incompletezza, a partire dall'incontro tra von Neumann e Gödel al Congresso di Königsberg nel 1930, e si indaga, riferendosi in particolare al lavoro di von Neumann, sull'impatto che questi teoremi hanno avuto per il progetto hilbertiano di fondazione della matematica e delle scienze più in generale. Ne risulta un'immagine delle indagini di Hilbert meno rigida di quella finora corrente, in linea con le più recenti acquisizioni della storiografia, e soprattutto più rispettosa della stessa prassi assiomatica, che oscillava per Hilbert tra ambizioni fondazionaliste e istanze pragmatiche. È stato von Neumann a rendere esplicita, dopo la scoperta dei teoremi di Gödel, quella che si può definire come la "svolta pragmatica" nell'assiomatica. Il libro propone inoltre un chiarimento riguardo alla scoperta di von Neumann del secondo teorema di incompletezza.