Séminaire commun CHSPAM – REHSEIS de SPHERE.
Coordination : Marie-José Durand-Richard.
Archives :
2010-2011, 2011-2012, 2012-2013, 2013-2014,
2014-2015, 2015-2016, 2016-2017
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
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
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
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")
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)
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
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 ?
