Partenaires

logo Sphere
CNRS
Logo Université Paris-Diderot Logo Université Paris1-Panthéon-Sorbonne


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil > Archives > Séminaires des années précédentes > Séminaires 2014–2015 : archives > Séminaire PhilMath Intersem 6. 2015

Axe Histoire et philosophie des mathématiques

Séminaire PhilMath Intersem 6. 2015


PhilMath Intersem est une collaboration de Notre Dame University, l’Université Paris Diderot, le laboratoire Sphere et l’Université de Lorraine.

La 6e édition de l’école d’été Philmath Intersem a eu lieu du 2 au 25 juin 2015. Le thème de cette année était la nature et le(s) rôle(s) des constructions en mathématiques.





Les résumés, conseils de lectures et informations pratiques sont disponibles sur le site : https://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-6-2015/

Contact : Emmylou Haffner (Université Paris Diderot, SPHERE),



Tous les séances auront lieu salle Klimt (366A) du bâtiment Condorcet (10 rue Alice Domon & Léonie Duquet, 75013 Paris), sur le campus de l’Université Paris Diderot.
Séances du 2, 4, 9, 11, 16, 18, 23, 25




Mardi 2 juin
, 16:00


  • Göran Sundholm (University of Leiden)
    Constructions in Constructive Mathematics and Logic




Jeudi 4 juin, 16:00

  • David Rowe (Johannes Gutenberg University, Mainz)
    Reflections on the Role of Construction in Hilbert’s Grundlagen der Geometrie




Mardi 9 juin, 16:00

  • Gilles Dowek (INRIA, Deducteam)
    A radical view of proofs as algorithms : certifying vs. certified algorithms




Jeudi 11 juin. Session double.

14:00
  • John Bell (University of Western Ontario)
    Hermann Weyl and Constructivism

16:15

  • Carl Posy (Hebrew University of Jerusalem)
    Intuition and Construction in the Foundations of Mathematics : Three Case Studies




Mardi 16 juin. Session double.

14:00
  • Frédéric Brechenmacher (Université d’Artois ; CNRS)
    Naturalness and effectiveness in Kronecker’s arithmetical theory of algebraic magnitudes

16:15

  • Marco Panza (Université Paris 1, Pantheon-Sorbonne, IHPST ; CNRS)
    What makes Descartes’ Geometrical Curves Geometrical and his Mechanical Curves Mechanical ?




Jeudi 18 juin. Session double.

14:00
  • Mark van Atten (Université Paris 1, Pantheon-Sorbonne, IHPST ; CNRS)
    Kripke’s Schema, transfinite proofs, and Troelstra’s Paradox

16:15

  • David McCarty (Indiana University-Bloomington)
    Why is Intuitionism Constructive Mathematics ?




Mardi 23 juin, 16:00
  • Nathan Sidoli (Waseda University)
    Constructions and Problems in Euclid’s Elements




Jeudi 25 juin, 16:00
  • 
Orna Harari (Tel Aviv University)
    Geometrical Construction : Greek Philosophical Perspectives



Directors : Pr. Michael Detlefsen (University of Notre Dame) and Pr. Jean-Jacques Szczeciniarz (Université de Paris 7-Diderot)