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 *

Vous pouvez utiliser ces balises et attributs HTML : <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong> <embed style="" type="" id="" height="" width="" src="" object=""> <iframe width="" height="" frameborder="" scrolling="" marginheight="" marginwidth="" src=""> <object style="" height="" width="" param="" embed=""> <param name="" value="">