Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore the foundations and development of Homotopy Type Theory (HoTT) in this 2-hour seminar lecture delivered by Steve Awodey from Carnegie Mellon University. Survey the historical, philosophical, and mathematical background that led to the invention of this new branch of logic developed over the last 15 years. Trace the challenges and advances that have marked HoTT's subsequent development through a non-technical presentation designed for a general audience. Learn about this innovative logical framework without requiring specialized mathematical background, as the lecture provides an accessible introduction to one of the most significant recent developments in mathematical logic and foundations. The presentation is part of the Orange County Inland Empire (OCIE) Seminar series in History and Philosophy of Mathematics, hosted at Chapman University's Schmid College of Science and Technology.
