Combining Texts

All the ideas for 'Presidential Address of Am. Math. Soc', 'On Platonism in Mathematics' and 'talk'

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


5 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Very few things in set theory remain valid in intuitionist mathematics [Bernays]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
We have no adequate logic at the moment, so mathematicians must create one [Veblen]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Restricted Platonism is just an ideal projection of a domain of thought [Bernays]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Mathematical abstraction just goes in a different direction from logic [Bernays]
14. Science / C. Induction / 5. Paradoxes of Induction / b. Raven paradox
Observing irrelevant items supports both 'all x are y' and 'all x are non-y', revealing its absurdity [Schofield,J]