Recent metamathematical wonders and the question of arithmetical realism
Apr 18, 2019 - 01:02:16
Radio and PodcastLive Radio & PodcastsSociety & Culture
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 Grundlagen der Geome...
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
A Hypothetical Conception of Mathematics in Practice
Jun 30, 2015 - 00:57:01
On the Contingency of Predicativism
May 11, 2015 - 00:49:02
A Computational Perspective on Metamathematics
Feb 10, 2015 - 01:02:58