23 ideas
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
1507 | We don't have time for infinite quantity, but we do for infinite divisibility, because time is also divisible [Aristotle on Zeno of Elea] |
5109 | The fast runner must always reach the point from which the slower runner started [Zeno of Elea, by Aristotle] |
1512 | Zeno is wrong that one grain of millet makes a sound; why should one grain achieve what the whole bushel does? [Aristotle on Zeno of Elea] |
1508 | Zeno's arrow paradox depends on the assumption that time is composed of nows [Aristotle on Zeno of Elea] |
18119 | Mathematics is a mental activity which does not use language [Brouwer, by Bostock] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
18118 | Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock] |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
15148 | Powers give explanations, without being necessary for some class membership [Chakravartty] |
15145 | A kind essence is the necessary and sufficient properties for membership of a class [Chakravartty] |
15147 | Cluster kinds are explained simply by sharing some properties, not by an 'essence' [Chakravartty] |
15144 | Explanation of causal phenomena concerns essential kinds - but also lack of them [Chakravartty] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
454 | If there are many things they must have a finite number, but there must be endless things between them [Zeno of Elea] |
15146 | Some kinds, such as electrons, have essences, but 'cluster kinds' do not [Chakravartty] |
15151 | Many causal laws do not refer to kinds, but only to properties [Chakravartty] |
455 | That which moves, moves neither in the place in which it is, nor in that in which it is not [Zeno of Elea] |
1511 | If everything is in a place, what is the place in? Place doesn't exist [Zeno of Elea, by Simplicius] |