4 ideas
9355 | One sort of circularity presupposes a premise, the other presupposes a rule being used [Braithwaite, by Devitt] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
18244 | I say the irrational is not the cut itself, but a new creation which corresponds to the cut [Dedekind] |