Partenaires

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


Search

On this website

On the whole CNRS Web


Home > Archives > Previous years: Seminars > Seminars 2014–2015: archives > Séminaire PhilMath Intersem 6. 2015

Axe Histoire et philosophie des mathématiques

Séminaire PhilMath Intersem 6. 2015



PhilMath Intersem is jointly sponsored by the University of Notre Dame, the history and philosophy of science department (HPS) of the University of Paris Diderot, the research unit SPHERE (UMR 7219) and the Archives Henri Poincaré of the University of Lorraine.

The sixth annual PhilMath Intersem (PhilMath Intersem 6) will take place this coming June 2015. the axiomatic method and its uses in the history of mathematics . We will consider the historical , philosophical and logical.

To current year,
Archives : 2014, 2013, 2012, 2011, 2010



Abstracts, advices of reading are available on this website: http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-7/

Contact: Emmylou Haffner (University Paris Diderot, SPHERE),



All meetings will take place on the Rive Gauche campus of the University of Paris 7-Diderot, room Klimt (room 366A) of the Condorcet Building.
June 2nd, 4th, 9th, 11th, 16th, 18th, 23rd and 25th




Tuesday June 2 2015
, 16:00

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


Thursday June 4, 16:00
  • David Rowe (Johannes Gutenberg University, Mainz)
    Reflections on the Role of Construction in Hilbert’s Grundlagen der Geometrie


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


Thursday June 11. 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


Tuesday June 16. 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?


Thursday June 18. 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?


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


Thursday June 25, 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)