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.

Hanno collaborato a questo numero: Angčle Rachel Bilégué, Serge Finia Buassa, Giambattista Formica, Paolo Fornari, Hermann Geissler, Mario L. Grignani, Dominique Lambert, Giulia Lombardi, Angela Maria Lupo, Luca F. Tuninetti, Angelina Volpe.

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.