Combining Texts

All the ideas for 'works', 'A Note on the entscheidungsproblem' and 'Explanation in Mathematics'

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

---

3 ideas

5. Theory of Logic / K. Features of Logics / 7. Decidability

18758

Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]

9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities

13166

Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu]

22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature

22086

The most important aspect of a human being is not reason, but passion [Kierkegaard, by Carlisle]