8 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
13412 | Obtaining numbers by abstraction is impossible - there are too many; only a rule could give them, in order [Benacerraf] |
13413 | We must explain how we know so many numbers, and recognise ones we haven't met before [Benacerraf] |
13411 | If numbers are basically the cardinals (Frege-Russell view) you could know some numbers in isolation [Benacerraf] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
13415 | An adequate account of a number must relate it to its series [Benacerraf] |
295 | The good is beautiful [Plato] |
294 | People say that friendship exists only between good men [Plato] |