3 ideas
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
22110 | Demonstration provides depth of understanding and explanation (rather than foundations) [Kretzmann/Stump] |
6901 | Understanding is needed for imagination, just as much as the other way around [Betteridge] |