3 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
4870 | The most beautiful hand seen through the microscope will appear horrible [Spinoza] |