13231 | Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M] |
17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [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] |