4 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
22405 | Negative utilitarianism implies that the world should be destroyed, to avoid future misery [Smart] |
22404 | Any group interested in ethics must surely have a sentiment of generalised benevolence [Smart] |
19399 | Prime matter is nothing when it is at rest [Leibniz] |