Combining Texts

All the ideas for 'Leibniz', 'On the Nature of Mathematical Reasoning' and 'Intuitionism: an Introduction'

expand these ideas     |    start again     |     specify just one area for these texts

---

3 ideas

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite

15923

Poincaré rejected the actual infinite, claiming definitions gave apparent infinity to finite objects [Poincaré, by Lavine]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique

8754	Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]

9. Objects / F. Identity among Objects / 7. Indiscernible Objects

7566	The Identity of Indiscernibles is really the same as the verification principle [Jolley]