4 ideas
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] |
13166 | Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu] |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |