Combining Texts

All the ideas for 'Explanation in Mathematics', 'Dthat' and 'works'

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


3 ideas

9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines
Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
Are causal descriptions part of the causal theory of reference, or are they just metasemantic? [Kaplan, by Schaffer,J]