The Univalence Axiom

MCMP – Philosophy of Mathematics

Nội dung được cung cấp bởi Ludwig-Maximilians-Universität München and MCMP Team. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Ludwig-Maximilians-Universität München and MCMP Team hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.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 tập

#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