Prochaine séance : jeudi 15 mars 2012, 14h30-17h
Intervention d’Andréa Bréard (Université de Erlangen) : « Procédures de divination et algorithmes de combinatoire en Chine – quels liens ? »
Bât. B, salle Danielle Corbin, B4 146.
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)
Fabio Acerbi (CNRS, UMR 8163) : Trois formes d’argumentation dans les mathématiques grecques : preuves, procédures, algorithmes.
Attention ! cette séance, initialement prévue le 14 octobre, est reportée à une date ultérieure.
Marc Moyon (Université de Lille 1) : Résolution de problèmes & algorithmes : l’exemple de le troisième distinction de la Practica geometriae de Fibonacci.
Andrea Bréard (Université de Lille I) : Aspects algorithmiques de deux textes chinois de combinatoire.