MCMP – Philosophy of Mathematics Podcast
1) 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 stud...Show More
Recent metamathematical wonders and the question of arithmetical realism
1:02:24 | Apr 18th, 2019
2) 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 impl...Show More
3) 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 Principle and the assignment of numbers to infinite concepts.". Abstract: In a recent a...Show More
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.
1:07:25 | Apr 18th, 2019
4) 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 Inaccuracy, and the Value of Knowledge". Abstract: I argue that van Fraassen's refl...Show More
5) Anti-Mathematicism and Formal Philosophy
Eric Schliesser (Ghent) gives a talk at the MCMP Colloquium (25 June, 2014) titled "Anti-Mathematicism and Formal Philosophy". Abstract: Hannes Leitgeb rightly claims that "contemporary critics of mat...Show More
6) 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 Theory: Duality and Relative Consistency". Abstract: Axiomatic geometry in Hilbert's ...Show More
7) 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 Mathematics in Practice". Abstract: The aim of the talk will be to present some of the...Show More
8) On the Contingency of Predicativism
Sam Sanders (MCMP) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On the Contingency of Predicativism". Abstract: Following his discovery of the paradoxes present in naive set theory, Ru...Show More
9) A Computational Perspective on Metamathematics
Vasco Brattka (UniBwM Munich) gives a talk at the MCMP Colloquium (29 January, 2015) titled "A Computational Perspective on Metamathematics". Abstract: By metamathematics we understand the study of ma...Show More
10) 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 "Quantified probability logics: how Boolean algebras met real-closed fields". Ab...Show More
Quantified Probability Logics: How Boolean Algebras Met Real-Closed Fields
51:36 | Feb 10th, 2015
Podcast Playlists Containing This Podcast
Podcast Hosts, Guests, or People Mentioned in the Pod
More Podcasts from MCMP Team
EINSICHTEN 2007
Center for Advanced Studies (CAS) Research Focus Dementia in Society - SD
LMU Sachenrecht - Lehrstuhl für Bürgerliches Recht, Deutsches, Europäisches und Internationales Unternehmensrecht
Medizin - Open Access LMU - Teil 13/22
Center for Advanced Studies (CAS) Research Focus Moral Behavior (LMU) - HD
Kannst Du mich hören?