Combining Texts

Ideas for 'Truth and the Past', 'Replies on 'Limits of Abstraction'' and 'To be is to be the value of a variable..'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists rely on the proof of mathematical statements, not their truth [Dummett]