Combining Texts

All the ideas for 'fragments/reports', 'works' and 'Elements of Intuitionism (2nd ed)'

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

---

6 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic

18832

Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett]

6. Mathematics / A. Nature of Mathematics / 1. Mathematics

8717	Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend]

6. Mathematics / C. Sources of Mathematics / 7. Formalism

10113

The grounding of mathematics is 'in the beginning was the sign' [Hilbert]

10115

Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman]

6. Mathematics / C. Sources of Mathematics / 8. Finitism

10116

Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman]

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

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