Dear All, With apologies again to SMS, the Logic Seminar will run from 5pm this Wednesday 21st.
Let's discuss proof theory in general. I think the responses to a survey that Solomon Feferman conducted at the turn of the century are interesting. They are catalogued here: http://www.ihes.fr/~carbone/papers/proofsurveyFeferman2000.html Michael G. _____________________________________________________ To unsubscribe from the CamPhilEvents mailing list, or change your membership options, please visit the list information page: http://bit.ly/CamPhilEvents List archive: http://bit.ly/CamPhilEventsArchive Please note that CamPhilEvents doesn't accept email attachments. See the list information page for further details and suggested alternatives.