Recent metamathematical wonders and the question of arithmetical realism
Apr 18, 2019 - 01:02:16
Radio and PodcastLive Radio & PodcastsSociety & Culture
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 Mathematical Structuralism. A Theory of Unlabeled Graphs as Ante Rem Structures". Abstra...
Related Episodes
Continue listening to more episodes from MCMP – Philosophy of Mathematics.
The Univalence Axiom
Apr 18, 2019 - 00:56:22
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.
Apr 18, 2019 - 01:07:17
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge
Apr 18, 2019 - 00:56:33
Anti-Mathematicism and Formal Philosophy
Apr 18, 2019 - 00:49:32
Geometrical Roots of Model Theory: Duality and Relative Consistency
Jul 14, 2015 - 01:09:25
A Hypothetical Conception of Mathematics in Practice
Jun 30, 2015 - 00:57:01
On the Contingency of Predicativism
May 11, 2015 - 00:49:02