3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
21240 | The truth about events always comes from the oppressed and disadvantaged [Sartre, by Bakewell] |
3804 | Darwin's idea was the best idea ever [Dennett] |