3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |
7489 | Joshua said, Sun, stand thou still [Anon (Josh)] |