Combining Philosophers

All the ideas for Paul Bernays, Saunders MacLane and Karl Weierstrass

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

6 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
18189 ZFC could contain a contradiction, and it can never prove its own consistency [MacLane]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10304 Very few things in set theory remain valid in intuitionist mathematics [Bernays]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals
18086 Weierstrass eliminated talk of infinitesimals [Weierstrass, by Kitcher]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / l. Limits
18092 Weierstrass made limits central, but the existence of limits still needed to be proved [Weierstrass, by Bostock]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10303 Restricted Platonism is just an ideal projection of a domain of thought [Bernays]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
10306 Mathematical abstraction just goes in a different direction from logic [Bernays]