Partenaires

logo Equipe Chspam
Logo Laboratoire Logo équipe Chspam
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 : Septembre 2008–Juillet 2012 > Programmes des séminaires 2009-2010 > Séminaire commun SPHERE Histoire et philosophie des mathématiques

Séminaire commun SPHERE Histoire et philosophie des mathématiques

Séminaire commun CHSPAM – REHSEIS de SPHERE.
Coordination : Marie-José Durand-Richard.
Responsable mise en ligne : Katia Asselah.

Présentation du séminaire

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.

Année 2009—2010
Séances : une fois par mois, le mardi (9h30-12h30 et 14h-17h).


Lieu : bâtiment Condorcet, salle Mondrian (646A), Université Paris Diderot. Métro Bibliothèque François-Mitterrand. Plan



Programme du séminaire

__________________________________________________________________________________

20 Octobre 2009

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 2009

La circulation des savoirs algébriques avant le XVIIe
PDF - 472.7 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 2009

Pratiques de problèmes


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 - 2.7 Mo


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 2010

La démonstration de correction d’algorithmes
PDF - 87.7 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 2010

Tables et astronomie
(dans le cadre de l’ANR "Histoire des tables numériques")
PDF - 52.1 ko
Guillaume Lachenal


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 2010

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 2010

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 2010

Le statut et l’usage des projections en géométrie
(exceptionnellement jusqu’à 19H)
PDF - 72.4 ko
Christelle Rigal


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 2010

Algèbre et géométrie au XIXe siècle
Word - 120 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 ?


__________________________________________________________________________________