Principia Mathematica anniversary symposium

Add to your list(s) Download to your calendar using vCal

• Robert Constable, Mohan Ganesalingam, Ivor Grattan-Guinness, John Harrison, Randall Holmes, Fairouz Kamareddine, Michael Potter, Byeong-uk Yi
• Saturday 27 November 2010, 13:45-00:00
• Winstanley Lecture Theatre, Trinity College, Cambridge, CB2 1TQ.

If you have a question about this talk, please contact ns441.

Register at http://www.srcf.ucam.org/principia/

2010 is the hundredth anniversary of Whitehead and Russell’s Principia Mathematica, a key work on the foundations of mathematics. A symposium is being held to mark the occasion, at the College where the authors were working.

This meeting is intended to address a broad range of interests: history, foundational mathematics, philosophy, type theory and mechanical theorem-proving. The symposium will be valuable to people interested in the intersection of these areas, or in relevant sub-branches of each area. Practitioners and students alike would benefit from attending this meeting.

More information can be obtained from the symposium website: http://www.srcf.ucam.org/principia/

This talk is part of the ns441's list series.

This talk is included in these lists:

• Winstanley Lecture Theatre, Trinity College, Cambridge, CB2 1TQ

Note that ex-directory lists are not shown.