3 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] |
23137 | Liberty without socialism is injustice; socialism without liberty is brutality [Bakunin] |