Partenaires

logo Sphere
CNRS
Logo Université Paris-Diderot Logo Université Paris1-Panthéon-Sorbonne


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil > Archives > Séminaires des années précédentes > Séminaires 2009-2010 : archives > Histoire et Philosophie des mathématiques 2009–2010

Séminaires 2009-2010

Histoire et Philosophie des mathématiques 2009–2010

Séminaire commun CHSPAM – REHSEIS de SPHERE.
Coordination : Marie-José Durand-Richard.

Le séminaire Histoire et Philosophie des Mathématiques est le point de rencontre des différents axes de l’Unité travaillant autour des mathématiques. Il entend favoriser le dialogue entre philosophes et historiens en prenant soin de toujours revenir aux sources textuelles - les orateurs sont vivement encouragés à fournir les documents permettant aux participants d’y accéder.



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 ?