Combining Texts

Ideas for 'Natural Kinds', 'Types and Ontology' and 'Set Theory and Its Philosophy'

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

display all the ideas for this combination of texts


2 ideas

6. Mathematics / A. Nature of Mathematics / 2. Geometry
Klein summarised geometry as grouped together by transformations [Quine]
     Full Idea: Felix Klein's so-called 'Erlangerprogramm' in geometry involved characterizing the various branches of geometry by what transformations were irrelevant to each.
     From: Willard Quine (Natural Kinds [1969], p.137)
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
If set theory didn't found mathematics, it is still needed to count infinite sets [Potter]
     Full Idea: Even if set theory's role as a foundation for mathematics turned out to be wholly illusory, it would earn its keep through the calculus it provides for counting infinite sets.
     From: Michael Potter (Set Theory and Its Philosophy [2004], 03.8)