9 ideas
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
13230 | Particular essence is often captured by generality [Steiner,M] |
3214 | The models we use in reasoning may be more like perceptions than like language [Johnson-Laird] |
13229 | Maybe an instance of a generalisation is more explanatory than the particular case [Steiner,M] |
13231 | Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |