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

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"
 



This event is sponsored by:

Picture