Recent metamathematical wonders and the question of arithmetical realism
Apr 18, 2019 - 01:02:16
Radio and PodcastLive Radio & PodcastsFlorian Steinberger (MCMP/LMU) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Three ways in which logic might be normative". Abstract: Logic, the tradition has it,...