Symposium on the foundations of mathematics ; 1. The logicist foundations of mathematics / Rudolf Carnap 2. The intuitionist foundations of mathematics / Arend Heyting 3. The formalist foundations of mathematics / Johann Von Neumann Disputation / Arend Heyting Intuitionism and formalism / L.E.J. Brouwer Consciousness, philosophy, and mathematics / L.E.J. Brouwer The philosophical basis of intuitionistic logic / Michael Dummett The concept of number / Gottlob Frege Selections from Introduction to mathematical philosophy / Bertrand Russell On the infinite / David Hilbert Remarks on the definition and nature of mathematics / Haskell B. Curry Hilbert's programme / Georg Kreisel Empiricism, semantics, and ontology / Rudolf Carnap On platonism in mathematics / Paul Bernays What numbers could not be / Paul Benacerraf Mathematics without foundations / Hilary Putnam The a priori / Alfred Jules Ayer Truth by convention / W.V. Quine Carnap and logical truth / W.V. Quine On the nature of mathematical reasoning / Henri Poincare Mathematical truth / Paul Benacerraf Models and reality / Hilary Putnam Russell's mathematical logic / Kurt Gödel What is Cantor's continuum problem? / Kurt Gödel The iterative concept of set / George Boolos What is the iterative conception of set? / Charles Parsons The concept of set / Hao Wang. |