3 ideas
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
1799 | If we can't know minds, we can't know if Pyrrho was a sceptic [Theodosius, by Diog. Laertius] |
6316 | We translate in a way that makes the largest possible number of statements true [Wilson,NL] |