![MCMP – Mathematical Philosophy (Archive 2011/12) artwork](https://is4-ssl.mzstatic.com/image/thumb/Podcasts4/v4/6b/4d/08/6b4d08ad-88d8-e7bf-e7fc-e9363daf19a0/mza_981599044798680511.jpg/100x100bb.jpg)
The Ins and Outs of Mathematical Explanation
MCMP – Mathematical Philosophy (Archive 2011/12)
English - April 20, 2019 17:47 - 50 minutes - 481 MB Video - ★★★★★ - 6 ratingsPhilosophy Society & Culture philosophy logic science language mathematics hannes leitgeb stephan hartmann mcmp lmu Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Mark Colyvan (Sydney) gives a talk at the MCMP Colloquium titled "The Ins and Outs of Mathematical Explanation". Abstract: Proofs of mathematical theorems tell us that the theorem is true, but some proofs go further and tell us why the theorem is true. That is, some, but not all, proofs are explanatory. Call this intra-mathematical explanation. It has been argued that whenever there are physical applications of the theorems in question, we also have mathematical explanations of physical phenomena. Call this extra-mathematical explanation. In this paper I will consider both intra- and extra-mathematical explanations and discuss why they are of philosophical interest. I will also make some speculative remarks about two promising accounts for a theory of mathematical explanation.