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
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
MCMP – Logic
MCMP – Metaphysics and Philosophy of Language
MCMP – Epistemology
MCMP
MCMP – Mathematical Philosophy (Archive 2011/12)
MCMP – Philosophy of Science
MCMP – Philosophy of Physics
Cambridge Pragmatism: A Research Workshop
Mathematical, Foundational and Computational Aspects of the Higher Infinite
Hegel lectures by Robert Brandom, LMU Munich
Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD
The Problems of Philosophy: Then & Now
Philosophy at the School of Advanced Study
German Philosophy Seminar Series
The Emergent Multiverse
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
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
Most Popular Podcasts
The Joe Rogan Experience
TED Talks Daily
The Tim Ferriss Show
The Daily
Stuff You Should Know
Oprah's SuperSoul Conversations
Armchair Expert with Dax Shepard
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
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
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
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
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
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
