6 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
10245 | One geometry cannot be more true than another [Poincaré] |
13554 | True greatness is never allowing events to disturb you [Seneca] |
13556 | Every night I critically review how I have behaved during the day [Seneca] |
13552 | Anger is an extreme vice, threatening sanity, and gripping whole states [Seneca] |
13553 | Anger is a vice which afflicts good men as well as bad [Seneca] |