[FOM] Two Streams: Programme
Brendan Larvor
b.p.larvor at herts.ac.uk
Wed Jun 10 13:21:43 EDT 2009
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 at 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 of
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 applied
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
More information about the FOM
mailing list