Libri di

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.

La teoria della dimostrazione di Hilbert Moriconi Enrico   -  Bibliopolis, 1988  -  Testi Per Lo Studio Della Logica Matem.

La teoria della dimostrazione di Hilbert - Bibliopolis

Coerenza e completezza delle teorie elementari. La metateorica dei sistemi formali nella scuola hilbertiana Mariani Mauro  Moriconi Enrico   -  Edizioni Ets, 1984

Coerenza e completezza delle teorie elementari. La metateorica dei sistemi formali nella scuola hilbertiana - Edizioni ETS