5 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
22320 | An 'object' is just what can be referred to without possible non-existence [Wittgenstein] |
18283 | Language pictures the essence of the world [Wittgenstein] |
18282 | You can't believe it if you can't imagine a verification for it [Wittgenstein] |