报告题目：An Interventionist Account of Mathematical Explanation

报告人：李楠博士大连理工大学

报告时间：2017年7月2日上午9:30-10:30

摘 要：I give an interventionist account of mathematical explanation, which is a generalization of interventionism for causal explanation. According to my account, a mathematical explanation for a certain theorem consists of: according to a general proof path, a certain property of a mathematical object leads to this theorem. This gives us criteria for distinguishing explanatory proofs from non-explanatory ones. An explanatory proof provides materials for an explanation: it identifies a mathematical object that can instantiate various properties, and it suggests a proof path such that we can conduct a testing intervention.

报告地点：瘦西湖校区38号楼103室

主办单位：数学科学学院

欢迎广大师生参加！