BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Should Type Theory replace Set Theory as the Foundation of Mathema
 tics ? - Prof Thorsten Altenkirch
DTSTART:20211022T170000Z
DTEND:20211022T180000Z
UID:TALK164521@talks.cam.ac.uk
CONTACT:Gesa Dünnweber
DESCRIPTION:Mathematicians often consider Zermelo-Fraenkel set theory (ZFC
 ) as the only foundation of Mathematics\, and frequently don’t actually 
 want to think much about foundations. We argue here that modern Type Theor
 y\, i.e. Homotopy Type Theory (HoTT)\, has many advantages and should be c
 onsidered as an alternative.
LOCATION:CMS Meeting Room 2
END:VEVENT
END:VCALENDAR