Combining Texts

All the ideas for 'Hilbert's Programme', 'Isagoge ('Introduction')' and 'Improvement of Understanding'

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

---

6 ideas

2. Reason / D. Definition / 2. Aims of Definition

16541

All the intrinsic properties of a thing should be deducible from its definition [Spinoza]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite

17809

Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel]

6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics

17810

The study of mathematical foundations needs new non-mathematical concepts [Kreisel]

8. Modes of Existence / D. Universals / 1. Universals

15034

Are genera and species real or conceptual? bodies or incorporeal? in sensibles or separate from them? [Porphyry]

14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence

13073

To understand the properties we must know the essence, as with a circle [Spinoza]

27. Natural Reality / C. Space / 3. Points in Space

17811

The natural conception of points ducks the problem of naming or constructing each point [Kreisel]