Logicism, Intuitionism, and Formalism

Contains essays by world-leading experts in the philosophy and foundations of mathematics, describing current developments in the foundations of mathematics in a historical perspective Analyses the classical philosophical and foundational views of Frege, Brouwer, Hilbert, Gödel and Tarski and examines their relevance for current developments Provides an in-depth analysis of various kinds of neologicist philosophies of mathematics Contains a comprehensive section on mathematical intuitionism and constructive mathematics Offers extensive discussions, by several authors, of the proof-theoretic programme of Hilbert and Bernays