Recent metamathematical wonders and the question of arithmetical realism
Apr 18, 2019 - 01:02:16
Radio and PodcastLive Radio & PodcastsSociety & Culture
A useful method for obtaining alternative formulations of the analytical hierarchy
Stanislav O. Speranski (Sobolev Institute of Mathematics) gives a talk at the MCMP Colloquium (6 November, 2014) titled "A useful method for obtaining alternative formulations of the analytical hierarchy". Abstract: In m...
Related Episodes
Continue listening to more episodes from MCMP – Philosophy of Mathematics.
The Univalence Axiom
Apr 18, 2019 - 00:56:22
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