10月31日 Danielle Macbeth教授做了题为《Ampliative Deductive Proof in Mathematical Practice--Lessons from Kant and Frege》的报告。