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] |
8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |