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

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

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

The use of non-deductive methods in maths

PhilMath Intersem

PhilMath Intersem

*  *  *

Publié le vendredi 01 juin 2018

Résumé

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. 

Annonce

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.

Lieux

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

Dates

  • mardi 05 juin 2018
  • jeudi 07 juin 2018
  • mardi 12 juin 2018
  • jeudi 14 juin 2018
  • mardi 19 juin 2018
  • jeudi 21 juin 2018
  • mardi 26 juin 2018

Mots-clés

  • mathématique

Contacts

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

URLS de référence

Source de l'information

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

Licence

CC0-1.0 Cette annonce est mise à disposition selon les termes de la Creative Commons CC0 1.0 Universel.

Pour citer cette annonce

« L'utilisation de méthodes non-déductives en mathématiques », Séminaire, Calenda, Publié le vendredi 01 juin 2018, https://doi.org/10.58079/10bg

Archiver cette annonce

  • Google Agenda
  • iCal
Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search