3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
22881 | Should we value environmental systems for human benefit, or for their own sake? [Hildebrand] |