BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
PRODID:iCalendar-Ruby
BEGIN:VEVENT
CATEGORIES:Lecture
DESCRIPTION:From Possible Worlds to Homotopy - \nKripke models were invente
d as a way of understanding non-standard systems of logic\, essentially by
interpreting them as standard logic varying in a parameter. The parameter c
an be understood as time (temporal logic)\, space (intuitionistic logic)\,
or more colorfully “possible worlds” (modal logic). The same idea can be ex
tended from the simple propositional logic of Boolean algebra to the very e
xpressive systems of type theory on which modern computer proof systems are
based. A “Kripke model” of type theory varying over\, say\, the simplex c
ategory from algebraic topology actually gives something familiar: namely
the standard model of homotopy theory.
DTEND:20211119T013000Z
DTSTAMP:20220129T003240Z
DTSTART:20211119T004500Z
LOCATION:Eliot 314
SEQUENCE:0
SUMMARY:IN PERSON Math Colloquium: Steve Awodey\, CMU
UID:tag:localist.com\,2008:EventInstance_37687930232594
URL:https://events.reed.edu/event/math_colloquium_steve_awodey_cmu
END:VEVENT
END:VCALENDAR