1-3 July 2009
Hatfield, U.K.
Please see below the programme for the upcoming conference: Two Streams in the Philosophy of Mathematics: Rival Conceptions of Mathematical Proof For general information about this conference, see the conference page: http://go.herts.ac.uk/twostreams Best regards, Brendan Larvor b.p.larvor@herts.ac.uk 01707-285659 http://www.larvor.pwp.blueyonder.co.uk/publications.html http://www.herts.ac.uk/philosophy/ Wednesday 1 July 2 - 2.30 Brendan Larvor Welcome and Introduction 2.30 - 2.45 Break 2.45 - 3.45 Yehuda Rav In Defence of a Semantic-Structuralist Conception o f Mathematical Proof 3.45 - 4.00 Break 4 - 5 Jody Azzouni The rule-following paradox and the threat of social constructivism 5 - 5.15 Break 5.15 - 6.05 Dirk Schlimm Two sides of an old coin: The debate between Pasch and Klein on the role of mathematical intuition 6.05 - 6.20 Break 6.20 - 7.10 Alexandre Borovik Above the Streams: the Philosophy of Mathematics as Seen by a Mathematician Thursday 2 July 9.30 -10.20 Alison Pease Analogy formulation and modification in geometry 10.20 - 10.35 Break 10.35 - 11.25 Charlotte Werndl Justifying Definitions in Mathematics-Going Beyond Lakatos 11.25 - 11.40 Break 11.40 - 12.30 Mathieu Marion Wittgenstein on Surveyability of Proofs 12.30 - 1.30 Lunch 1.30 - 2.20 Peter Koepke Naturalness in Formal Mathematics 2.20 - 2.35 Break 2.35 - 3.25 Ivor Grattan-Guinness Theory-building and proof in applie d mathematics 3.25 - 3.40 Break 3.40 - 4.30 Madeline Muntersbjorn Poincar and the Growth of Mathematics 4.30 - 4.45 Break 4.45 - 5.35 Andrew Aberdein Arguing Over Mathematics 5.35 - 5.50 Break 5.50 - 6.50 Alexander Paseau How Mathematics is Understood Friday 3 July 9.15 - 10.05 Giuseppina Ronzitti Formalized Proofs and Evidence 10.05 - 10.20 Break 10.20 - 11.20 David Corfield Proofs are not the whole story 11.20 - 11.35 Coffee 11.35 - 12.35 Michael Harris Mathematical conjectures in the light of reincarnation 12.40 - 1.30 Panel