3 ideas
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
18244 | I say the irrational is not the cut itself, but a new creation which corresponds to the cut [Dedekind] |
22110 | Demonstration provides depth of understanding and explanation (rather than foundations) [Kretzmann/Stump] |