Drexel University - Comprehensive, integrated academics enhanced by co-operative education, technology, and research opportunities. | Drexel University
Drexel University
Search events. View events.

All Categories

Click for help in using calendar displays. Print the contents of the current screen.
Display Format: 
Event Details
Notify me if this event changes.Add this event to my personal calendar.
Go Back
Math Colloquium: Homotopy Probability Theory in the Univalent Foundations
Start Date: 4/11/2018Start Time: 3:00 PM
End Date: 4/11/2018End Time: 4:00 PM

Event Description
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:https://philpapers.org/rec/CRALOP

Contact Information:
Name: Georgi Medvedev
Email: gsm29@drexel.edu
Location:
Academic Building, Room 302, 101 N 33rd Street, Philadelphia, PA 19104
Audience:
  • Everyone

  • Display Month:

    Advanced Search (New Search)
    Date Range:
    Time Range:
    Category(s):
    Audience: 

    Special Features: 

    Keyword(s):
    Submit
    Select item(s) to Search



    Select item(s) to Search
    Select item(s) to Search
    Select item(s) to Search