Combining Texts

Ideas for 'Sweet Dreams', 'Introduction to the Philosophy of Mathematics' and 'Concepts of supervenience'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

6 ideas

14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations

17939

Mathematics can reveal structural similarities in diverse systems [Colyvan]

14. Science / D. Explanation / 2. Types of Explanation / f. Necessity in explanations

17938

Mathematics can show why some surprising events have to occur [Colyvan]

14. Science / D. Explanation / 2. Types of Explanation / m. Explanation by proof

17934

Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan]

17933

Reductio proofs do not seem to be very explanatory [Colyvan]

17935

If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan]

17942

Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan]