3 ideas
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |