Mathematical Reflections
20 May 2014, Roskilde University, Denmark
May 20th, all day seminar on topics in the History, Philosophy, and Logic of Mathematics, at the Philosophy Department at RUC.
The speakers are: Jessica Carter, Melvin Fitting, Tinne Hoff Kjeldsen, Øystein Linnebo, Stig Andur Pedersen, Stewart Shapiro, and Asger Törnquist
Organized by Patrick Blackburn and Klaus Frovin Jørgensen
The speakers are: Jessica Carter, Melvin Fitting, Tinne Hoff Kjeldsen, Øystein Linnebo, Stig Andur Pedersen, Stewart Shapiro, and Asger Törnquist
Organized by Patrick Blackburn and Klaus Frovin Jørgensen
Schedule:
09:00 - 09:45 Stig Andur Pedersen, Roskilde University, "Hilbert’s non-formalistic view of mathematics" 10:00 - 10:45 Tinne Hoff Kjeldsen, University of Copenhagen, "Reflections on mathematics through a historical lens: what can history of mathematics tell us about mathematics besides who did what when?" 11:00 - 11:45 Jessica Carter, University of Southern Denmark, "The role of diagrams in mathematics" 11:45 - 13:00 LUNCH 13:00 - 13:45 Melvin Fitting, Lehman College, "Forcing and Intensional Set Theory" 14:00 - 14:45 Øystein Linnebo, University of Oslo, "Dynamic abstraction" 14:45 - 15:15 COFFEE 15:15 - 16:00 Stewart Shapiro, Ohio State University, "Potential infinity and intuitionistic logic" |
|