Ranked #1
Recent metamathematical wonders and the question of arithmetical realism
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 ... Read more
18 Apr 2019
•
1hr 2mins
Ranked #2
The Univalence Axiom
The Univalence Axiom
Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homot... Read more
18 Apr 2019
•
56mins
Similar Podcasts
Ranked #3
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.
Paolo Mancosu (UC Berkeley) gives a talk at the MCMP Colloquium (8 May, 2014) titled "In Good Company? On Hume's Princip... Read more
18 Apr 2019
•
1hr 7mins
Ranked #4
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge
Simon Huttegger (UC Irvine) gives a talk at the MCMP Colloquium (8 May, 2014) titled "Learning Experiences, Expected Ina... Read more
18 Apr 2019
•
56mins
Ranked #5
Anti-Mathematicism and Formal Philosophy
Anti-Mathematicism and Formal Philosophy
Eric Schliesser (Ghent) gives a talk at the MCMP Colloquium (25 June, 2014) titled "Anti-Mathematicism and Formal Philos... Read more
18 Apr 2019
•
49mins
Ranked #6
Geometrical Roots of Model Theory: Duality and Relative Consistency
Geometrical Roots of Model Theory: Duality and Relative Consistency
Georg Schiemer (Vienna/MCMP) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Geometrical Roots of Model Theor... Read more
14 Jul 2015
•
1hr 9mins
Ranked #7
A Hypothetical Conception of Mathematics in Practice
A Hypothetical Conception of Mathematics in Practice
José Ferreirós (Sevilla) gives a talk at the MCMP Colloquium (11 June, 2015) titled "A Hypothetical Conception of Mathem... Read more
30 Jun 2015
•
57mins
Ranked #8
On the Contingency of Predicativism
On the Contingency of Predicativism
Sam Sanders (MCMP) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On the Contingency of Predicativism". Ab... Read more
11 May 2015
•
49mins
Ranked #9
A Computational Perspective on Metamathematics
A Computational Perspective on Metamathematics
Vasco Brattka (UniBwM Munich) gives a talk at the MCMP Colloquium (29 January, 2015) titled "A Computational Perspective... Read more
10 Feb 2015
•
1hr 2mins
Ranked #10
Quantified Probability Logics: How Boolean Algebras Met Real-Closed Fields
Quantified Probability Logics: How Boolean Algebras Met Real-Closed Fields
Stanislav O. Speranski (Sobolev Institute of Mathematics) gives a talk at the MCMP Colloquium (4 December, 2014) titled ... Read more
10 Feb 2015
•
51mins