7 ideas
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
13479 | Given that thinking aims at truth, logic gives universal rules for how to do it [Burge] |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
13190 | I don't admit infinite numbers, and consider infinitesimals to be useful fictions [Leibniz] |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |