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://fa.player.fm/legal

5+ y 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 (2y 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