3 ideas
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |