4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |
15150 | The properties of an electron can't be explained just as 'clustering' [Chakravartty on Boyd] |
15149 | Properties cluster together, either because of intrinsic relations, or because of an underlying process [Boyd, by Chakravartty] |