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...
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