Séminaire d’histoire des mathématiques

 « Pratiques déductives algorithmiques dans les mathématiques pré-algébriques »

 

Prochaine séance : jeudi 24 mai 2012, 14h30-17h 

Intervention de Peter Riedlberger (Tel Aviv University, Department of History) : « Les ouvrages mathématiques attribués à Domninus de Larissa, philosophe du Ve siècle ».

 

Bât. B, salle Danielle Corbin, B4 146.

Séminaire d’histoire des mathématiques

 

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.

 

Séminaire d’histoire des mathématiques

 

 

Prochaine séance : jeudi 19 janvier 2012, 14h30-17h

 

Intervention de  Ramon Masià-Fornos (Universitat Oberta de Catalunya (UOC) Estudis d’Informàtica i Telecomunicació)

Les particularités du code stylistique archimedien: le cas de “Sur la sphère et le cylindre” et de “Sur les conoïdes et les sphèroides”.

 

Bât. B, salle Danielle Corbin, B4 146.

Séminaire d’histoire des mathématiques

 

Prochaine séance du séminaire  : jeudi 8 décembre 2011, 14h30-17h

 

Intervention de Fabio Acerbi : « La dissolution du modèle canonique de proposition mathématique chez Diophante et ses motivations mathématiques ».

 

Bât. B, salle Danielle Corbin, B4 146.

 

 

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)

 

Séminaire d’histoire des mathématiques : prochaine séance

Fabio Acerbi (CNRS, UMR 8163) : Trois formes d’argumentation dans les mathématiques grecques : preuves, procédures, algorithmes.

Exemplier de la séance

Attention ! cette séance, initialement prévue le 14 octobre, est reportée à une date ultérieure.

Séance du Séminaire du 20 Mai 2010 par Bernard Vitrac (CNRS), UMR 8210 (ANHIMA, ex centre Louis Gernet))

Pour préparer la séance du 20 Mai 2010, j’ai rédigé un état des lieux du corpus métrologique héronien et pseudo héronien qui reprend les résultats de l’exposé intitulé « Héron, Heiberg et les Geometrica ,» présenté l’an dernier à Lille en deux parties (séances des 12 Mars et 14 Mai 2009), revu et modifié pour les Journées d’études « Géométrie(s), pratiques d’arpentage et enseignement : quels liens et dans quel contexte ? » organisées par Alain Bernard les 15-16 Mars 2010 à Paris.

Les points suivants sont abordés :

• Oeuvres attribuées à Héron d’Alexandrie

• Le corpus métrologique : éditions; traditions manuscrites

• Les collections de problèmes reconstituées par J.L. Heiberg (édition Teubner)

• Chronologie du corpus métrologique du point de vue historiographique

• Discussion d’authenticité

• Relations entre les Métriques (traité héronien authentique) et les autres écrits du corpus.

Neuf annexes ont été jointes au texte qui comprennent différentes informations sur les manuscrits recensés, le contenu des principaux d’entre eux, le contenu et la structure des collections reconstituées par J.L. Heiberg (Geometrica, Stereometrica I, Stereometrica II), la liste des titres, intertitres, personnages ou écrits cités dans les manuscrits.

Ce document constituera un point de départ pour la suite de nos études sur le corpus métrologique héronien et pseudo héronien, en particulier pour la séance de Mai 2010 consacrée à l’une de ces collections de problèmes attribuées à Héron d’Alexandrie.

Héron d’Alexandrie et le corpus métrologique

Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search