3 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] |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |