Title: Glimpses of HOTT; Logic and Topology make elegant and useful Foundations
Speaker: Prof. Siddhartha Gadgil Indian Institute of Science
Date: 01 July 2013
Time: 3:30 - 4:30 p.m.
Venue: Lecture Hall III, Department of Mathematics
HOTT (homotopy type theory) is logic built on type theory
(mostly from Computer Science) and ideas from topology to give
foundations of mathematics that are very elegant and much closer
to mathematical practice. This makes HOTT very useful for computer
proof systems, and also gives a very nice new synthetic treatment
of homotopy theory.