{"word_count": 248, "character_count": 2403}
Pr&#233;sentationLa 10e &#233;dition de l'&#233;cole d'&#233;t&#233; internationale en histoire et philosophie des math&#233;matiques&#160;Philmath Intersem&#160;se tiendra du 4 au 25 juin 2019 &#224; l'Universit&#233; Paris Diderot.Le th&#232;me de cette ann&#233;e sera la nature et la place de la rigueur en math&#233;matiques.&#160;La langue sera l&#8217;anglais.Le&#160;Philmath Intersem&#160;est une coop&#233;ration entre Notre Dame University, le D&#233;partement d&#8217;Histoire et Philosophie des Sciences de l&#8217;Universit&#233; Paris Diderot, et le laboratoire SPHERE (UMR 7219). Il est soutenu par le LIA RiGoK.Toutes les s&#233;ances auront lieu en salle Klimt (366A) du b&#226;timent Condorcet (10 rue Alice Domon &#38; L&#233;onie Duquet, 75013 Paris) sur le campus de l&#8217;Universit&#233; Paris Diderot SAUF la s&#233;ance du 20 juin qui aura lieu en salle Mondrian (646A) du m&#234;me b&#226;timent.Les r&#233;sum&#233;s, conseils de lectures et informations pratiques sont disponibles sur :&#160;https://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-10-2019/ProgrammeMardi 4 juin14h-16h&#160;&#8211;&#160;Marcus Giaquinto, University College London"Rigorous and non-rigorous thinking using diagrams: both can be epistemically valuable"Jeudi 6 juin14h-16h&#160;&#8211;&#160;Hourya Benis-Sinaceur, IHPST, CNRS"&#8220;Proving what everyone already knows&#8221;: Bolzano&#8217;s conceptual analysis"16h-18h&#160;&#8211;&#160;Silvia de Toffoli, Princeton University"Rigorous Diagrammatic Proofs"Mardi 11 juin14h-16h&#160;&#8211;&#160;Erika Luciano, Universit&#224; degli Studi di Torino"A matter of style and praxis: On Peano&#8217;s concept of rigour in mathematics education"16h-18h&#160;&#8211;&#160;Yacin Hamami,&#160; VUB"Judgments of Rigor in Mathematical Practice''Mardi 18 juin16h-18h&#160;&#8211; Antoni Malet, Pompeu Fabra University"Circular definitions, and circular reasoning in 17th-century mathematics"Jeudi 20 juinEn salle Mondrian 646A&#160;15h-18h&#160;&#8211;&#160;Kevin Buzzard (Imperial College London), Michael Harris (Columbia University &#38; IMJ-PRG) &#38; Patrick Massot (Universit&#233; Paris-Sud)"Mechanization of rigor"Mardi 25 juin14h-16h&#160;&#8211; Renaud Chorlay, Sorbonne Universit&#233;"Did Bourkabi care about rigor?"16h-18h&#160;&#8211; Jean-Jacques Szczeciniarz, Universit&#233; Paris Diderot"Towards a history of the concept of rigor"