University of Cambridge > Talks.cam > ns441's list > Principia Mathematica anniversary symposium

Principia Mathematica anniversary symposium

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity