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

Date 1 septembre 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)

 


Imprimer ce billet Imprimer ce billet

Laisser un commentaire

XHTML: Vous pouvez utilisez ces balises :<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong> <embed style="" type="" id="" height="" width="" src="" object="" allowfullscreen="" allowscriptaccess="" cachebusting="" bgcolor="" quality="" flashvars=""> <iframe width="" height="" frameborder="" scrolling="" marginheight="" marginwidth="" src=""> <object style="" height="" width="" param="" embed=""> <param name="" value="">