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
Instrumentierte Umgebungen - WiSe 2008/2009
Fakultät für Physik - Digitale Hochschulschriften der LMU - Teil 01/05
Medizinische Fakultät - Digitale Hochschulschriften der LMU - Teil 19/19
Fakultät für Mathematik, Informatik und Statistik - Digitale Hochschulschriften der LMU - Teil 02/02
Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - Digitale Hochschulschriften der LMU
LMU Grundkurs Strafrecht I (L-Z) WS 2014/15