La IX^e édition de l'école d'été en histoire et philosophie des mathématiques PhilMath Intersem, co-organisée par Notre Dame University, l'université Paris Diderot et le laboratoire Sciences, philosophie, histoire (SPHERE), se tiendra du 5 au 26 juin 2018 sur le campus de l'université Paris Diderot. Le thème cette année est l'utilisation de méthodes non-déductives en mathématiques. 

Présentation

La IXe édition de l'école d'été en histoire et philosophie des mathématiques PhilMath Intersem, co-organisée par Notre Dame University, l'Université Paris Diderot et le laboratoire SPHERE, se tiendra du 5 au 26 juin 2018. Le thème cette année est l'utilisation de méthodes non-déductives en mathématiques. 

Tous les séances auront lieu en salle Klimt (366A) du bâtiment Condorcet (4 rue Elsa Morante, 75013 Paris), sur le campus de l'Université Paris Diderot.

Les abstracts et informations pratiques sont disponibles sur le site :http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-9-2018/

L'entrée est libre

Programme

Mardi 5 juin

• 14h : Catherine Goldstein (Institut de mathématiques de Jussieu-Paris Rive Gauche) "Baconian mathematics"
• 16h : Eberhard Knobloch (TU Berlin)"Archimedes and his successors Kepler and Leibniz: Their use of analogies and equivalences in mathematics"

Jeudi 7 juin

• 16h : James Franklin (University of New South Wales)"Evidence for mathematical conjectures and non-deductive logic"

Mardi 12 juin

• 14h : Jean Paul Van Bendegem (Vrije Universiteit Bruxelles) "Can there be experiments, real or imaginary, in mathematics?"
• 16h : Emmylou Haffner (Bergische Universität Wuppertal & SPHERE) "On the computations underlying (some of?) Dedekind's “conceptual mathematics”" 

Jeudi 14 juin

• 16h : James Franklin (University of New South Wales) "The nature of non-deductive logic in the light of its use in mathematics"

Mardi 19 juin

• 14h : Alex Paseau (Wadham College, University of Oxford) "Knowledge of Mathematics without Proof"
• 16h : Karine Chemla (SPHERE, Université Paris Diderot)"When a diagram writes a proof"

Jeudi 21 juin

•  16h : Christine Proust & Adeline Reynaud (SPHERE, Université Paris Diderot)"Reasoning with diagrams and layouts, examples from Mesopotamia"

Mardi 26 juin

• 16h : Alan Baker (Swarthmore College)"Induction, Explanation, and Applied Mathematics" 

Le PhilMath Intersem est soutenu par Notre Dame University, SPHERE (UMR 7219), le Département d'Histoire et Philosophie de l'Université Paris Diderot, le PICS "Proofs and Computations", et l'Arbeitsgruppe Didaktik und Geschichte der Mathematik de la Bergische Universität Wuppertal.