La X^e édition de l'école d'été internationale en histoire et philosophie des mathématiques Philmath Intersem se tiendra du 4 au 25 juin 2019 à l'Université Paris Diderot. Le thème de cette année sera la nature et la place de la rigueur en mathématiques. La langue sera l’anglais.

Présentation

La 10e édition de l'école d'été internationale en histoire et philosophie des mathématiques Philmath Intersem se tiendra du 4 au 25 juin 2019 à l'Université Paris Diderot.

Le thème de cette année sera la nature et la place de la rigueur en mathématiques. La langue sera l’anglais.

Le Philmath Intersem est une coopération entre Notre Dame University, le Département d’Histoire et Philosophie des Sciences de l’Université Paris Diderot, et le laboratoire SPHERE (UMR 7219). Il est soutenu par le LIA RiGoK.

Toutes les séances auront lieu en salle Klimt (366A) du bâtiment Condorcet (10 rue Alice Domon & Léonie Duquet, 75013 Paris) sur le campus de l’Université Paris Diderot SAUF la séance du 20 juin qui aura lieu en salle Mondrian (646A) du même bâtiment.

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

Programme

Mardi 4 juin

• 14h-16h – Marcus Giaquinto, University College London"Rigorous and non-rigorous thinking using diagrams: both can be epistemically valuable"

Jeudi 6 juin

• 14h-16h – Hourya Benis-Sinaceur, IHPST, CNRS"“Proving what everyone already knows”: Bolzano’s conceptual analysis"
• 16h-18h – Silvia de Toffoli, Princeton University"Rigorous Diagrammatic Proofs"

Mardi 11 juin

• 14h-16h – Erika Luciano, Università degli Studi di Torino"A matter of style and praxis: On Peano’s concept of rigour in mathematics education"
• 16h-18h – Yacin Hamami,  VUB"Judgments of Rigor in Mathematical Practice''

Mardi 18 juin

• 16h-18h – Antoni Malet, Pompeu Fabra University"Circular definitions, and circular reasoning in 17th-century mathematics"

Jeudi 20 juin

En salle Mondrian 646A 

15h-18h – Kevin Buzzard (Imperial College London), Michael Harris (Columbia University & IMJ-PRG) & Patrick Massot (Université Paris-Sud)"Mechanization of rigor"

Mardi 25 juin

• 14h-16h – Renaud Chorlay, Sorbonne Université"Did Bourkabi care about rigor?"
• 16h-18h – Jean-Jacques Szczeciniarz, Université Paris Diderot"Towards a history of the concept of rigor"