Séminaire commun CHSPAM – REHSEIS de SPHERE.
Coordination : Marie-José Durand-Richard.
PROGRAMME 2009-2010 : séances une fois par mois, le mardi (9h30-12h30 et 14h-17h), bâtiment Condorcet, salle Mondrian (646A), Université Paris Diderot. Métro Bibliothèque François-Mitterrand.
20 Octobre
Pratiques d’écriture
David Rabouin et Sébastien Maronne (SPHERE, CNRS-Un. Paris Diderot)
Le style cartésien
Dominique Descotes (CERHAC-Univ. Clermont-Ferrand)
Le style pascalien
Renaud Chorlay (SPHERE, CNRS-Un. Paris Diderot)
Emergence du couple local-global : aspects qualitatifs et quantitatifs
Alain Herreman (Univ. Rennes)
Remarques sur le concept général de "thèse mathématique" : enjeux et conséquences historiographiques
10 Novembre
La circulation des savoirs algébriques avant le XVIIe
Journée organisée par Sara Confalonieri et Pascal Crozet (SPHERE).
Présentation :
La propagation, la transmission et la circulation des savoirs mathématiques constituent sans aucun doute un thème de recherche éminemment complexe. Examiner cette circulation dans le cas de l’algèbre ne saurait ainsi se réduire à simplement rendre compte de la diffusion des traités ou de celle de leurs traductions. En effet, dès sa naissance en tant que discipline au début du IXe siècle, avec le livre d’al-Khwarizmi, l’algèbre n’a cessé d’interagir avec d’autres champs de la connaissance mathématique, contribuant ainsi à diffuser ses objets et ses méthodes hors de son terrain propre. C’est à rendre compte de la diversité de ces canaux de transmission en même temps que leurs rapports avec une discipline en pleine évolution que s’essaieront les participants à cette journée.
Tony Levy (SPHERE, CNRS-Un. Paris Diderot)
L’algèbre dans les textes hébraïques
Veronica Gavagna (Univ. Salerne)
Abacus tradition and modern mathematics in Cardano’s work
Pascal Crozet (SPHERE, CNRS-Un. Paris Diderot)
L’algèbre dans la tradition du hisāb
Javier Docampo Rey (GRC-Univ. Pompeu Fabra (Barcelona))
Medieval algebra in the Iberian Peninsula : the need of a new approach
15 Décembre
: Pratiques de problèmes
Journée organisée par Hélène Bellosta et Karine Chemla (SPHERE)
Présentation :
Poursuivant les travaux de deux journées consacrées dans les dernières années au même sujet, cette rencontre vise à évaluer l’hypothèse que les problèmes mathématiques sont des artefacts culturels variables selon les époques et les groupes sociaux qui les utilisent. Si tel est le cas, la question se pose alors de savoir comment prendre en compte cette hypothèse dans l’interprétation qu’il convient de donner des problèmes que contiennent nos sources.
Andy Arana (IP Fellow, Univ. Paris Diderot et Univ. Nancy)
The identity of problems
Jens Hoyrup (Roskilde University)
Revisiting such categories as sub-scientific and scholasticized mathematical knowledge
Sébastien Maronne (IP Fellow, SPHERE, CNRS-Un. Paris Diderot)
Pascal versus Descartes on geometrical problem solving
Caroline Ehrhardt (Service d’histoire de l’éducation, INRP)
Problèmes et pratiques de la théorie de Galois (1850-1910)
Discussion générale
19 Janvier 2010
La nature du rapport de deux incommensurables
Marouane Benmiled (LAMSIN, ENIT, Tunis)
Théorie des proportions et grandeurs irrationnelles dans un commentaire d’Ibn al-Haytham au Livre X des Eléments d’Euclide
Bijan Vahabzadeh (SPHERE, CNRS-Un. Paris Diderot)
Le traitement des rapports irrationnels dans le commentaire d’al-Khayyâm sur les Eléments d’Euclide
Claire Schwartz (SPHERE, CNRS - Univ. Provence)
Rapports et proportions dans la métaphysique malebranchiste
Katia Asselah (SPHERE, CNRS-Un. Paris Diderot)
Jean Prestet : un fondement arithmétique, une seule théorie des proportions ?
02 Février
La démonstration de correction d’algorithmes
Journée organisée par Karine Chemla (SPHERE) et Gilles Dowek (Ecole Polytechnique)
Présentation :
Cette rencontre confrontera mathématiciens, historiens et philosophes des mathématiques
autour de la question de la démonstration de la correction d’algorithmes et de son histoire
ancienne comme récente.
Karine Chemla (SPHERE, CNRS-Un. Paris Diderot)
Démonstration de la correction d’algorithmes dans les traditions anciennes
Jeremy Avigad (Dep. Philo. Hist. Math., Carnegie Mellon Univ. Microsoft Research - INRIA Joint Centre)
Formal verification of algorithms
Gilles Dowek (Ecole Polytechnique)
Axiomes v.s. algorithmes : qu’est-ce qu’une théorie ?
Benjamin Werner (INRIA (DR) et Professeur Chargé de Cours à l’Ecole Polytechnique)
Prouver des algorithmes pour prouver des théorèmes
22 et 23 Mars
Tables et astronomie
(dans le cadre de l’ANR "Histoire des tables numériques")
Deux journées organisées par Dominique Tournès (SPHERE).
Présentation :
Les tables numériques peuvent certes être étudiées en tant qu’instruments matériels de calcul, mais aussi comme objets révélateurs des pratiques scientifiques et sociales dans divers milieux professionnels. À cet égard, si l’astronomie fut le théâtre d’une production massive de tables à toutes les époques et dans toutes les civilisations, c’est bien en raison des implications considérables de cette discipline pour l’astrologie, la métrologie, la navigation, le commerce à longue distance et la vérification expérimentale de théories mathématiques abstraites, qu’il s’agisse de la géométrie euclidienne à l’époque de Ptolémée ou du calcul infinitésimal au siècle des Lumières. Le séminaire se consacrera principalement à deux moments de cette histoire foisonnante, en se penchant, d’une part, sur les caractéristiques des tables
astronomiques et astrologiques indiennes, d’autre part, sur la production des tables astronomiques et nautiques dans les observatoires européens des 18e et 19e siècles
Lundi 22 mars 2010
Nathan Sidoli (School of International Liberal Studies, Waseda University, Tokyo)
Ptolemy’s use of tables to model motion
Agathe Keller (SPHERE, CNRS et université Paris Diderot)
A small Introduction to the history of numerical tables in India
Kim Plofker (Union College, Schenectady, New York)
Some astronomical handbooks and table texts from Jaipur
Setsuro Ikeyama (Kyoto Sangyo University)
Introducing an edition, translation, and explanation of Ganesa’s Patasarani, an astronomical astrological table
Clemency Montelle (University of Canterbury, New Zealand)
The Karanakesari : Mathematical tables for computing eclipse phenomena
Mardi 23 mars
Thomas Sonar (Institut Computational Mathematics, Technische Universität Braunschweig)
The ’’Regiments’’ in early modern navigation
Steven Wepster (Mathematisch Instituut, Universiteit Utrecht)
18th century lunar tables : theory meets application
Guy Boistel (Centre François-Viète, université de Nantes)
Le Bureau des longitudes et la gestion de ses calculateurs pour la Connaissance des temps, de Jérôme Lalande à l’après Maurice Loewy, 1795-1914 environ
David Aubin (Institut de mathématiques de Jussieu, UMR 7586, université Pierre-et-Marie-Curie Paris 6)
‘A system of order carried to a considerable extent’ : ou ce que les archives de Greenwich nous apprennent sur le calcul des tables astronomiques au 19e siècle
Marie-José Durand-Richard (SPHERE, CNRS et université Paris Diderot)
La prédiction des marées en France et en Angleterre au 19e siècle : analyse comparée
6 Avril
Optique et mathématiques
Hussein Masoumi (Université Sharif de technologie, Téhéran)
Ibn al-Haytham et la géométrisation de l’ombre
Dominique Raynaud (Université de Grenoble)
Abû al-Wafâ’ latinus ?
Mark Smith (University of Missouri)
The Medieval and Renaissance Background to Kepler’s Analysis of Spherical Lenses
Olivier Darrigol (SPHERE, CNRS-Un. Paris Diderot)
Une brève histoire de la question : Quel concept de rayon pour une optique géométrique ?
Michel Paty (SPHERE, CNRS-Un. Paris Diderot)
Sens physique et sens mathématique chez Ibn al-Haytham
18 Mai
Le statut et l’usage des projections en géométrie
(exceptionnellement jusqu’à 19H)
Journée organisée par Marie Anglade et Karine Chemla (SPHERE).
Présentation :
On entend souvent parler d’une histoire de la géométrie projective avant la géométrie projective telle qu’elle fut définie par Poncelet. Pour éprouver cette hypothèse, la journée se consacrera à l’examen de divers usages des projections en mathématiques au cours de l’histoire, depuis les cartes célestes chinoises du VIIe siècle, textes arabes du Xe siècle jusqu’aux travaux de Heinrich Lambert et de Poncelet.
Philippe Abgrall (CEPERC, CNRS-Université de Provence)
Le rôle des coniques dans les études sur les projections au 10e siècle
Jean-Marc Bonnet-Bidault, (service d’astrophysique, CEA)
Projection methods under the Tang : the case of the Dunhuang star chart
J.V. Field (Birkbeck, Univ. London)
Desargues : projection et géométrie projective
Kirsti Andersen (Aarhus University)
Lambert’s perspective geometry
Ken Manders (Pittsburgh University)
Projection and the role of diagrams in Poncelet
08 Juin
Algèbre et géométrie au XIXe siècle
Journée organisée par Marie-José Durand-Richard (SPHERE).
Présentation :
Dans la première moitié du 19ème siècle, à partir de l’université de Cambridge, un réseau de mathématiciens a inauguré une approche symbolique radicale de l’algèbre, visant à exprimer les aspects logiques des pratiques algébriques. Cette approche tendait alors à promouvoir cette forme symbolique de l’algèbre comme fondement des mathématiques. Le lecteur moderne perçoit souvent cette perspective comme très proche de notre conception de l’algèbre, qui ne sera pourtant développée qu’à partir des années 1930 : l’ étude des structures abstraites. Les interventions de cette séance du séminaire s’appliqueront à observer le devenir de cette perspective symbolique dans la seconde moitié du 19ème siècle, soulignant notamment les interactions constamment négociées avec d’autres domaines ou d’autres conceptions des mathématiques.
Amirouche Moktefi (IRIST, Strasbourg & LHSP, Archives Poincaré, Nancy)
Le symbolisme entre logique et mathématiques (seconde moitié du 19ème s.) : développements, perspectives et objections.
Josipa Petrunic
Electricity and vector analysis : Oliver Heaviside and the revamping of quaternion mathematics in the late-9th century
Paola Cantu (Projet « Ideals of Proof », Archives Poincaré, Univ. Nancy 2)
The Italian debate on the analytical definition of real number at the end of the 19th century
Sébastien Gandon (PHIER, Univ. Clermont II / IUF)
L’émergence des géométries finies dans les mathématiques américaines : une simple importation d’un motif algébrique en géométrie ?