4 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
19440 | How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya] |
2596 | Maybe mind and body are parallel, like two good clocks [Leibniz] |
2595 | If the universe is a perfect agreement of uncommunicating substances, there must be a common source [Leibniz] |