Recent metamathematical wonders and the question of arithmetical realism
Apr 18, 2019 - 01:02:16
Radio and PodcastLive Radio & PodcastsSociety & Culture
The Univalence Axiom
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...
About This Episode
The Univalence Axiom is an episode from MCMP – Philosophy of Mathematics by Ludwig-Maximilians-Universität München. Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy...
Podcast
This episode belongs to MCMP – Philosophy of Mathematics.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Apr 18, 2019, 00:56:22 long, audio available.
Related Episodes
Continue listening to more episodes from MCMP – Philosophy of Mathematics.
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.
Apr 18, 2019 - 01:07:17
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge
Apr 18, 2019 - 00:56:33
Anti-Mathematicism and Formal Philosophy
Apr 18, 2019 - 00:49:32
Geometrical Roots of Model Theory: Duality and Relative Consistency
Jul 14, 2015 - 01:09:25
A Hypothetical Conception of Mathematics in Practice
Jun 30, 2015 - 00:57:01
On the Contingency of Predicativism
May 11, 2015 - 00:49:02
A Computational Perspective on Metamathematics
Feb 10, 2015 - 01:02:58
Questions About This Episode
What is The Univalence Axiom about?
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.
Where can I listen to The Univalence Axiom?
You can listen to The Univalence Axiom online on Radio and Podcast. Open the player on this page to stream the available audio.
Which podcast is The Univalence Axiom from?
The Univalence Axiom is an episode from MCMP – Philosophy of Mathematics by Ludwig-Maximilians-Universität München.
How long is this episode?
This episode is 00:56:22 long.
When was this episode published?
This episode was published on Apr 18, 2019.
Can I save The Univalence Axiom for later?
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Are there related episodes from MCMP – Philosophy of Mathematics?
Yes. This page shows related episodes from MCMP – Philosophy of Mathematics when more episodes are available from the podcast feed.
Quick Answers About This Episode
Where can I listen to The Univalence Axiom?
You can listen to The Univalence Axiom on this page when the episode audio is available from the podcast feed.
Which podcast is this episode from?
The Univalence Axiom is from MCMP – Philosophy of Mathematics by Ludwig-Maximilians-Universität München.
What are the episode details?
Published Apr 18, 2019 and 00:56:22 long