5 ideas
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
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] |
2975 | That honey is sweet I do not affirm, but I agree that it appears so [Timon] |
22110 | Demonstration provides depth of understanding and explanation (rather than foundations) [Kretzmann/Stump] |