Combining Texts

All the ideas for '75: Is 'Live Unknown' a Wise Precept?', 'Completeness of Axioms of Logic' and 'Hippocrates of Cos on the mind'

expand these ideas     |    start again     |     specify just one area for these texts

---

3 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC

17751

Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]

15. Nature of Minds / A. Nature of Mind / 2. Psuche

5959	Some philosophers say the soul is light [Plutarch]

17. Mind and Body / E. Mind as Physical / 1. Physical Mind

23217

All of our happiness and misery arises entirely from the brain [Hippocrates]