Mercredi 12 au vendredi 14 octobre 2011
Université de Lille 3, Maison de la Recherche, salle 008.
Pratiques algorithmiques dans les mathématiques pré-modernes
(responsables : Fabio Acerbi et Marc Moyon)
Programme
Mercredi 12 octobre (15h-18h)
Fabio Acerbi (CNRS, UMR 8163 STL) : Introduction. Preuves, procédures, algorithmes : une approche syntaxique.
Répondant Bernard Vitrac (CNRS, UMR 8210 ANHIMA, Paris)
Christine Proust (CNRS, UMR 7219 SPHERE, Paris) : Des algorithmes pour fabriquer des équations: structures textuelles et expression des opérations dans quelques textes mathématiques cunéiformes.
Répondant Jim Ritter (CNRS, UMR 7041 ArScAn, et Université Paris X)
Annette Imhausen (Frankfurt University) : Egyptian Mathematical Algorithms: The Hieratic and Demotic Evidence
Répondant Jim Ritter (CNRS, UMR 7041 ArScAn, et Université Paris X)
Jeudi 13 octobre (9h30-12h30)
Alain Bernard (Université Paris XII, IUFM Créteil, et EHESS – Centre Alexandre Koyré), Jean Christianidis (Athens University) : La place de la démarche algorithmique dans le projet de Diophante de développer ‘l’invention’ dans les problèmes arithmétiques.
Répondant Ken Saito (Osaka Prefecture University)
Bernard_Christianidis_Exemplier
Karine Chemla (CNRS, UMR 7219 SPHERE, Paris) : Démontrer la correction d’algorithmes par le biais d’algorithmes en Chine ancienne.
Répondant Andréa Bréard (Université de Lille 1)
Jeudi 13 octobre (15h-18h)
François Patte (Université Paris Descartes, laboratoire CNRS MAP5, UMR 8145) : En Inde, la pensée-algorithme.
Répondant Agathe Keller (CNRS, UMR 7219 SPHERE, Paris)
Ezzaim Laabid (Université Cadi Ayyad, Marrakech) : Les pratiques algorithmiques dans les mathématiques liées à la science des héritages en Pays d’Islam.
Répondant Marc Moyon (Université de Limoges)
Vendredi 14 octobre (9h30-12h30)
Jens Høyrup (Emeritus, Roskilde University) : Explicit and less implicit algorithmic thinking, 1200-1500: Jordanus de Nemore, abbacus arithmetic, and the contrast Barthélemy de Romans/Chuquet.
Répondant Edmond Mazet (Université de Lille 3, STL)
Hoyrup_Texte de la présentation
Stéphane Lamassé (Université Paris I Panthéon-Sorbonne) : Algorithmes et arithmétiques dans les arithmétiques “pratiques” de la fin du Moyen Age.
Répondant Marc Moyon (Université de Limoges)