4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
12739 | If we are dreaming, it is sufficient that the events are coherent, and obey laws [Leibniz] |
12738 | Successful prediction shows proficiency in nature [Leibniz] |
5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |