Abstract

La logica matematica di Russell, di K. Gödel.--Che cos'è il problema del continuo di Cantor?, di K. Gödel.--Osservazioni al Convegno su i problemi di matematica per il secondo centenario di Princeton, di K. Gödel.--Matematica e logica, di A. Church.--Osservazioni sulla definizione e sulla natura della matematica, di H.B. Curry.--Sull'infinito, di D. Hilbert.--Il programma di Hilbert, di G. Kreisel.--Fondamenti storici, principi e metodi dell'intuizionismo, di L.E.J. Brouwer.--Disputa, di A. Heyting.--L'intuizionismo in matematica, di A. Heyting.--Verso un nominalismo costruttivo, di N. Goodman e W.V. Quine.--Un mondo di individui, di N. Goodman.