Skip to Main Content
Mobile Menu

D: Proofs in mathematical practice

(Organized by Kenneth Easwaran and Catarina Dutilh Novaes)

Session D1: Tuesday, March 21 in EDUC 112

10:30 – 11:10 Moon Duchin (Tufts University), Failure modes for proofs
11:20 – 12:00 Marianna Antonutti Marfori (LMU München), De re and de dicto knowledge in mathematics

Session D2: Wednesday, March 22 in EDUC 112

4:40 – 5:20 Madeline Muntersbjorn (University of Toledo), Symbols, certainty, and expressive economies
5:30 – 6:10 Andrew Aberdein (Florida Institute of Technology), The dual nature of proof

Session D3: Thursday, March 23 in EDUC 110

10:30 – 11:10 Kenny Easwaran (Texas A&M) in for Alexander Paseau (Oxford), Knowledge of mathematics without proof
11:20 – 12:00 Fenner Stanley Tanswell (Oxford University), The epistemic significance of proving