The Univalence Axiom
Apr 18, 2019 - 00:56:22
Radio and PodcastLive Radio & PodcastsSociety & Culture
Recent metamathematical wonders and the question of arithmetical realism
Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wonders and the question of arithmetical realism". Abstract: Metamathematics is the study of what is possibl...
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