HomeThe use of non-deductive methods in maths

The use of non-deductive methods in maths

L'utilisation de méthodes non-déductives en mathématiques

PhilMath Intersem

PhilMath Intersem

*  *  *

Published on Friday, June 01, 2018 by Céline Guilleux

Summary

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 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. 

Announcement

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.

Places

  • Université Paris 7-Diderot, salle Klimt (room 366A) - 4 rue Elsa Morante
    Paris, France (75013)

Date(s)

  • Tuesday, June 05, 2018
  • Thursday, June 07, 2018
  • Tuesday, June 12, 2018
  • Thursday, June 14, 2018
  • Tuesday, June 19, 2018
  • Thursday, June 21, 2018
  • Tuesday, June 26, 2018

Keywords

  • mathématique

Contact(s)

  • Emmylou Haffner
    courriel : emmylou [dot] haffner [at] gmail [dot] com

Reference Urls

Information source

  • Emmylou Haffner
    courriel : emmylou [dot] haffner [at] gmail [dot] com

To cite this announcement

« The use of non-deductive methods in maths », Seminar, Calenda, Published on Friday, June 01, 2018, https://calenda.org/443509

Archive this announcement

  • Google Agenda
  • iCal