Colloquium Mathematical Philosophy, Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wo...
The Univalence Axiom
Colloquium Mathematical Philosophy, Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In...
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.
Colloquium Mathematical Philosophy, Paolo Mancosu (UC Berkeley) gives a talk at the MCMP Colloquium (8 May, 2014) titled "In Good Company? On Hume's P...
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge
Colloquium Mathematical Philosophy, Simon Huttegger (UC Irvine) gives a talk at the MCMP Colloquium (8 May, 2014) titled "Learning Experiences, Expect...
Anti-Mathematicism and Formal Philosophy
Colloquium Mathematical Philosophy, Eric Schliesser (Ghent) gives a talk at the MCMP Colloquium (25 June, 2014) titled "Anti-Mathematicism and Formal ...
Geometrical Roots of Model Theory: Duality and Relative Consistency
Colloquium Mathematical Philosophy, Georg Schiemer (Vienna/MCMP) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Geometrical Roots of Model...
A Hypothetical Conception of Mathematics in Practice
Colloquium Mathematical Philosophy, José Ferreirós (Sevilla) gives a talk at the MCMP Colloquium (11 June, 2015) titled "A Hypothetical Conception of ...
On the Contingency of Predicativism
Colloquium Mathematical Philosophy, Sam Sanders (MCMP) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On the Contingency of Predicativis...
A Computational Perspective on Metamathematics
Colloquium Mathematical Philosophy, Vasco Brattka (UniBwM Munich) gives a talk at the MCMP Colloquium (29 January, 2015) titled "A Computational Persp...
Quantified Probability Logics: How Boolean Algebras Met Real-Closed Fields
Colloquium Mathematical Philosophy, Stanislav O. Speranski (Sobolev Institute of Mathematics) gives a talk at the MCMP Colloquium (4 December, 2014) t...