Reports
13/06/07 Philosophy of math as an interpretive enterprise; how much history of math should philosophy of math be able to account for?, REHSEIS: Marco Panza: general introductory discussion on relationship between history of math & philosophy of math / Lunch discussions / Mik Detlefsen: Discussion on status of axioms at different stages in history of math; is there a timeless axiomatic method? Also nature of proof and mathematical explanation / ??/??/07 Lecture series on Carnap, Cassirer & Heidegger: Michael Friedman: The Davos disputation & the split in 20th Century philosophy / 14/06/07 Workshop discussion, REHSEIS: AM general discussions / Ken Manders: Discussions on problems in History & philosophy of geometry; on the use of diagrams in Green geometry, practice, objects & truth / Richard Teitzsen: Discussion on mathematical intuition / Stewart Shapiro: Discussion on mathematical structuralism