For a better experience, click the Compatibility Mode icon above to turn off Compatibility Mode, which is only for viewing older websites.

Math Colloquium: Homotopy Probability Theory in the Univalent Foundations

Wednesday, April 11, 2018

3:00 PM-4:00 PM

Harry Crane, Rutgers University


Abstract: Conjecture and plausible reasoning are often necessary precursors to rigorous mathematical proof. Polya discussed this at length in his two volume work on Mathematics and Plausible Reasoning, and some other mathematicians (e.g., Mazur) have written about it more recently. But despite its central role in mathematical practice, there lacks a formal 'meta-mathematical' framework for analyzing how such conjectures and intuitions guide 'rigorous' mathematics. After a brief overview of Voevodsky's program on the Univalent Foundations (UF), I present a formal theory of conjecture (called homotopy probability theory), in which conjectures are represented as homotopy types in UF. I then discuss how certain aspects of this formal system may make it more suitable as a foundation for mathematical practice.

The talk is intended for a general mathematical audience. I assume no prior familiarity with Univalent Foundations or homotopy type theory.

A preprint associated to this work can be found at the following link:

Contact Information

Georgi Medvedev

Remind me about this event. Notify me if this event changes. Add this event to my personal calendar.


Academic Building, Room 302, 101 N 33rd Street, Philadelphia, PA 19104


  • Everyone