The Univalence Axiom

MCMP – Philosophy of Mathematics

Ludwig-Maximilians-Universität München and MCMP Team द्वारा प्रदान की गई सामग्री. एपिसोड, ग्राफिक्स और पॉडकास्ट विवरण सहित सभी पॉडकास्ट सामग्री Ludwig-Maximilians-Universität München and MCMP Team या उनके पॉडकास्ट प्लेटफ़ॉर्म पार्टनर द्वारा सीधे अपलोड और प्रदान की जाती है। यदि आपको लगता है कि कोई आपकी अनुमति के बिना आपके कॉपीराइट किए गए कार्य का उपयोग कर रहा है, तो आप यहां बताई गई प्रक्रिया का पालन कर सकते हैं https://hi.player.fm/legal।

6y ago 56:22

MP4

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on October 13, 2022 23:55 (2+ y ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its background and consequences, both mathematical and philosophical.

22 एपिसोडस

#Germany #LudwigMaximiliansUniversität München Is One #MCMP Team #Philosophy #Logic #Science #Language #Mathematics #Hannes Leitgeb #Stephan Hartmann #Alexander Von Humboldt Foundation #Munich Center For Mathematical Philosophy #MCMP #LMU