Partenaires

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


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > 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

PDF - 13 ko



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

PDF - 6.7 ko



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

PDF - 17.1 ko



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

PDF - 6 ko



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")

PDF - 10.3 ko


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)

PDF - 6.3 ko



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

PDF - 7.5 ko



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 ?