9 ideas
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
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] |
15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |