Philosophy of mathematics : selected readings / [print]
edited by Paul Benacerraf, Hilary Putnam.
- second edition.
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, (c)1983.
- viii, 600 pages ; 24 cm.
Symposium on the foundations of mathematics -- The logicist foundations of mathematics The intuitionist foundations of mathematics The formalist foundations of mathematics Disputation Intuitionism and formalism Consciousness, philosophy, and mathematics The philosophical basis of intuitionistic logic The concept of number Selections from Introduction to mathematical philosophy On the infinite Remarks on the definition and nature of mathematics Hilbert's programme Empiricism, semantics, and ontology On platonism in mathematics What numbers could not be Mathematics without foundations The a priori Truth by convention Carnap and logical truth On the nature of mathematical reasoning Mathematical truth Models and reality Russell's mathematical logic What is Cantor's continuum problem? The iterative concept of set What is the iterative conception of set? The concept of set Rudolf Carnap -- Arend Heyting -- Johann Von Neumann -- Arend Heyting -- L.E.J. Brouwer -- L.E.J. Brouwer -- Michael Dummett -- Gottlob Frege -- Bertrand Russell -- David Hilbert -- Haskell B. Curry -- Georg Kreisel -- Rudolf Carnap -- Paul Bernays -- Paul Benacerraf -- Hilary Putnam -- Alfred Jules Ayer -- W.V. Quine -- W.V. Quine -- Henri Poincare -- Paul Benacerraf -- Hilary Putnam -- Kurt Godel -- Kurt Godel -- George Boolos -- Charles Parsons -- Hao Wang.