Workshop sur « Pratiques algorithmiques dans les mathématiques pré-modernes », Lille 12-14 octobre 2011.

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)

Acerbi_Exemplier

Acerbi_Tableau synoptique

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)

Proust-Exemplier

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)

Chemla_Exemplier

Chemla_slides

 

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)

Patte_Exemplier

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)

Laabid_Expose_Algo

 

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)

 


Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *