4 ideas
2118 | All other human gifts can harm us, but not correct reasoning [Leibniz] |
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |