5 ideas
19396 | Wisdom is knowing all of the sciences, and their application [Leibniz] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
3299 | In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
19397 | Perfect knowledge implies complete explanations and perfect prediction [Leibniz] |