Combining Texts

All the ideas for 'fragments/reports', 'Reals by Abstraction' and 'A Note on the entscheidungsproblem'

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]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers

10632

The real numbers may be introduced by abstraction as ratios of quantities [Hale, by Hale/Wright]

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

468	Musical performance can reveal a range of virtues [Damon of Ath.]