• Home
  • C.A.D.I.L.L.A.C. News Blog
  • C.A.D.I.L.L.A.C. Events
    • 2016 Cognitive, linguistic and logical aspects of perspective-taking
    • 2016 Autism Research Network Meeting
    • 2015 Stig Andur Pedersen's retirement symposium
    • 2015 Cognitive, linguistic and logical aspects of perspective-taking 2015
    • 2014 Arthur Prior
    • 2014 Workshop on Planning, Logic and Social Intelligence
    • 2014 Mathematical Reflections
    • Modality and Modalities, M&M 2012- 2014
  • Contact us
  • Links and Resources

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"
 



Abstracts and slides

This event is sponsored by:

Picture
Powered by Create your own unique website with customizable templates.