Discernibility from a countable perspective

MCMP – Philosophy of Mathematics by Ludwig-Maximilians-Universität München

Dec 18, 201400:32:32Society & Culture

Kate Hodesdon (Nancy) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Discernibility from a countable perspective". Abstract: In this talk I discuss formal methods f...

Related Episodes

Continue listening to more episodes from MCMP – Philosophy of Mathematics.

Recent metamathematical wonders and the question of arithmetical realism

Apr 18, 2019 - 01:02:16

Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathem...

The Univalence Axiom

Apr 18, 2019 - 00:56:22

Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abs...

In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.

Apr 18, 2019 - 01:07:17

Paolo Mancosu (UC Berkeley) gives a talk at the MCMP Colloquium (8 May, 2014) titled "In Good Company? On...

Learning Experiences, Expected Inaccuracy, and the Value of Knowledge

Apr 18, 2019 - 00:56:33

Simon Huttegger (UC Irvine) gives a talk at the MCMP Colloquium (8 May, 2014) titled "Learning Experience...

Anti-Mathematicism and Formal Philosophy

Apr 18, 2019 - 00:49:32

Eric Schliesser (Ghent) gives a talk at the MCMP Colloquium (25 June, 2014) titled "Anti-Mathematicism an...

Geometrical Roots of Model Theory: Duality and Relative Consistency

Jul 14, 2015 - 01:09:25

Georg Schiemer (Vienna/MCMP) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Geometrical Roots...

A Hypothetical Conception of Mathematics in Practice

Jun 30, 2015 - 00:57:01

José Ferreirós (Sevilla) gives a talk at the MCMP Colloquium (11 June, 2015) titled "A Hypothetical Conce...

On the Contingency of Predicativism

May 11, 2015 - 00:49:02

Sam Sanders (MCMP) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On the Contingency of Pre...