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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Principia Mathematica anniversary symposium

Download to your calendar using vCal

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

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:

Note that ex-directory lists are not shown.

Other lists

Average on Sundays: 7471.92675159 kWh G06 Part II Teaching Room, Department of Genetics FW 11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon

Other talks

Morning Break An AI-Assisted Proof in Spectral Geometry Spectral theory for Dirac operators with singular potentials In conversation: Louis Herns Marcelin and Ola Osman on legacies of enslavement and contemporary violence in Liberia and Haiti title abstract tba Online Causal Inference Seminar
 

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