display all the ideas for this combination of texts
3 ideas
10712 | 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) |
17882 | It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter] |
Full Idea: It is a remarkable fact that all the arithmetical properties of the natural numbers can be derived from such a small number of assumptions (as the Peano Axioms). | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 05.2) | |
A reaction: If one were to defend essentialism about arithmetic, this would be grist to their mill. I'm just saying. |
13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
Full Idea: We can automatically infer 'there are roses' from 'there are red roses' (with no shift in the meaning of 'roses'). Likewise one can automatically infer 'there are numbers' from 'there are prime numbers'. | |
From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
A reaction: He similarly observes that the atheist's 'God is a fictional character' implies 'there are fictional characters'. Schaffer is not committing to a strong platonism with his claim - merely that the existence of numbers is hardly worth disputing. |