## Logicism, Intuitionism, and Formalism: What Has Become of Them?Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

absolutely undecidable abstraction algebraic analysis analytic sets arithmetic axiom of choice axiomatic basic Bernays Borel Brouwer Cantor cardinal numbers classical mathematics concept consistency proof continuous function continuum hypothesis Dedekind deﬁnable deﬁned deﬁnition domain dyadic rational elements elimination rules epistemological equivalent existence extensional Fan Theorem ﬁnd ﬁnite ﬁnitist ﬁrst ﬁrst-order formal system formulas foundations of mathematics Frege Fregean G¨odel geometry Hilbert Hume’s Principle impredicative induction inﬁnite intuition Intuitionism intuitionistic justiﬁcation language Lemma logic logicist Mancosu Martin-L¨of Math meaning metric space natural numbers neo-logicist notion objects operations ordered pair paper philosophical philosophy of mathematics pre-apartness problem proof theory proposition provable prove quantiﬁers question real numbers recursive reference reﬂection relation result reverse mathematics satisﬁes scientiﬁc second-order logic Section semantic sense sentences sequence set theory set-theoretic signiﬁcance speciﬁc statements structure subset sufﬁcient Tarski truth type theory uniformly continuous University Press