display all the ideas for this combination of texts
4 ideas
18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |