[FOM] Two Streams: Programme

[Brendan Larvor]

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