History and Philosophy of Mathematics Day

Tuesday 23 May 2006

10.30 - 12.30 Dr Hannes Leitgeb (University of Bristol) "Formal and Informal Provability"

2.00 - 4.00 Professor Hartry Field (New York University) "Truth and the Unprovability of Consistency"

4.00 - 5.00 tea

5.00 - 7.00 Dr Eleanor Robson (HPS, Cambridge) "A Short History of Numbers in the Middle East"

7.00 dinner

 

contact Hannes Leitgeb or Alexander Bird