Just something to think about for the mathematically minded out there:
Is there a meaningful distinction between "proofs that convince" (i.e. a proof in general) and "proofs that explain"?
The intuitive answer is "of course" --- we've all had the experience of reading proofs that establish facts but do not seem to shed any light, and reading proofs
(
Read more... )