3 ideas
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
7845 | When we need to do something, we depute an inner servant to remind us of it [Proust] |
9567 | Maths deals with quantities of physical significance, ignoring irrelevant features [Geroch] |