Combining Philosophers

All the ideas for Archimedes, Seymour Lipschutz and Paolo Mancosu

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

---

3 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / e. Equivalence classes

8920	Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

13007

Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]

9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities

13166

Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu]