display all the ideas for this combination of texts
4 ideas
9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |