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...
Radio and PodcastLive Radio & Podcasts
Society & Culture
MCMP – Philosophy of Mathematics
Mathematical Philosophy - the application of logical and mathematical methods in philosophy - is about to experience a tremendous boom in various areas of philosophy. At the new Munich Cente...
MCMP – Philosophy of Mathematics Podcast Guide
Listen to MCMP – Philosophy of Mathematics, a Society & Culture podcast by Ludwig-Maximilians-Universität München. Stream 22 episodes in English, follow new audio stories, and play episodes online on Radio and Podcast.
Show Topic
Browse this show under Society & Culture podcasts.
Episodes
20 episodes are loaded now from a catalog of 22. More episodes can be opened from this page.
Discover More
Explore Society & Culture podcasts, China podcasts and English podcasts.
Episodes
20 of 22 episodesThe 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...
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 assignmen...
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 Val...
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: Han...
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 Relat...
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"....
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 hi...
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"...
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 probabil...
Symmetry and Mathematicians' Aesthetic Preferences: a Case Study
Irina Starikova (Sao Paulo) gives a talk at the MCMP Colloquium (8 January, 2015) titled "Symmetry and Mathematicians' Aesthetic Preferences...
An Aristotelian continuum
Stewart Shapiro (Ohio) gives a talk at the MCMP Colloquium (18 December, 2014) titled "An Aristotelian continuum". Abstract: Geoffrey Hellma...
Neuropsychology of numbers
Hourya Benis-Sinaceur (Paris I) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Neuro...
IF epistemic logic and mathematical knowledge
Manuel Rebuschi (Poincaré Archives, University of Lorraine, Nancy) gives a talk at the Workshop on Mathematics: Objectivity by Representatio...
Natural numbers in philosophy of mathematics and in cognitive science
Paula Quinon (Lund) gives a talk at the MCMP Colloquium (27 November, 2014) titled "Natural numbers in philosophy of mathematics and in cogn...
On Mathematical Structuralism. A Theory of Unlabeled Graphs as Ante Rem Structures
Hannes Leitgeb (MCMP/LMU) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "On Mathemat...
What are the challenges of Benacerrafs Dilemma? A Reinterpretation
Marco Panza (Paris I) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "What are the ch...
Discernibility from a countable perspective
Kate Hodesdon (Nancy) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Discernibility...
Three ways in which logic might be normative
Florian Steinberger (MCMP/LMU) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Three...
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...