4 ideas
16567 | Scientists know everything about nothing, philosophers nothing about everything [Sagan,D] |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |