Combining Texts

All the ideas for 'Letters to Edward Stillingfleet', 'works' and 'Our Knowledge of Mathematical Objects'

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

6 ideas

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
9224 Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
9222 The objects and truths of mathematics are imperative procedures for their construction [Fine,K]
9223 My Proceduralism has one simple rule, and four complex rules [Fine,K]
9. Objects / D. Essence of Objects / 3. Individual Essences
15990 Every individual thing which exists has an essence, which is its internal constitution [Locke]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
15994 If it is knowledge, it is certain; if it isn't certain, it isn't knowledge [Locke]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines
3193 Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]