Histoire de la logique mathématique : bilan et perspectives
Séminaire d'histoire des mathématiques de l'Institut Henri Poincaré
11, rue Pierre et Marie Curie, Paris 5e
Vendredi, de 14 h à 18 h 30, amphi Darboux
Fondé en 1948, le Séminaire d'histoire des mathématiques de l'IHP est un lieu d’échange entre historiens des mathématiques et participe également à maintenir et développer les liens entre mathématiciens et historiens.
Le séminaire organise actuellement cinq séances dans l’année. Ces séances visent à faire le point de recherches actuelles sur un thème qui peut constituer la présentation du travail d’un groupe de recherche ou être spécialement construit pour le séminaire. Elles se composent non seulement de conférences mais aussi de tables rondes et discussions abordant des questions méthodologiques et historiographiques.
Les captations audiovisuelles de certaines séances du Séminaire d'histoire des mathématiques peuvent être consultées à partir des collections de l'Institut Henri Poincaré ; plusieurs séances sont à l'origine d'articles pour la rubrique "IHP maison d'histoire" de la plateforme Image des mathématiques.
Le séminaire est soutenu par le GDR n° 3398 "Histoire des mathématiques" du CNRS.
Coordination : Frédéric Brechenmacher
Année 2013-2014
Coordination du Séminaire:
F. Brechenmacher, M. Bullynck, R. Chorlay, C. Gilain, H. Gispert, A. Herreman, R. Tazzioli, D. Tournès.
29 novembre.
Mathématiques au Maghreb, au XIXe siècle : regards croisés
(séance préparée par Djamil Aïssani, Pauline Romera-Lebret et Norbert Verdier)
14 h -16h : - Pierre Ageron (Université de Caen), « Traduction et appropriation des mathématiques européennes par les Marocains (1822-1879) »
- Pauline Romera-Lebret (Université Paris 8) & Djamil Aïssani (Université de Béjaïa), « Des mathématiques dans l'Algérie du XIXe siècle : pratiques professionnelles et extra-professionnelles »
16 h –16 h 30 : Pause café
16 h 30 – 18 h 30 : Table ronde, avec la participation, outre des conférenciers, de Norbert Verdier (IUT de Cachan - GHDSO) et Pascal Crozet (CNRS-SPHERE).eu) et Mahdi Abdeljaouad (Université de Tunis).
7 mars.
1750-1850 : continuités et ruptures en Grande-Bretagne
(séance préparée par Marie-José Durand-Richard )
14 h -16h : - Alexander D. D. Craik, (University of Saint Andrews, Écosse), « Calculus and analysis in Britain, 1790-1820 : the French influence »
- Olivier Bruneau (LHSP – Archives Poincaré, Nancy), « La géométrie en Grande-Bretagne au tournant du XIXe siècle, un projet anti-newtonien et un retour à la tradition ? »
- Jean-Pierre Lubet (Université Lille 1), « Le calcul aux différences finies en Grande-Bretagne dans la première moitié du XIXe siècle : quelles spécificités ? »
16 h –16 h 30 : Pause café
16 h 30 – 18 h 30 : Table ronde, avec les interventions, outre des conférenciers, de Xiafei Wang (SPHERE) et Marie-José Durand-Richard (SPHERE).
4 avril.
Histoire de la logique mathématique : bilan et perspectives
(séance préparée par Amirouche Moktefi)
14 h -16h : - Amirouche Moktefi (Tallinna Tehnikaülikool, Estonie), « De l'équation à l'implication ; la formation d'un langage symbolique en algèbre de la logique »
- Paola Cantu (CEPERC, CNRS / Aix-Marseille Université), « L'école de Peano entre algébrisme et logicisme »
16 h –16 h 30 : Pause café
16 h 30 – 18 h 30 : Table ronde. Avec la participation de Sébastien Gandon (Université Blaise Pascal, Clermont-Ferrand), Sophie Roux (ENS Paris), Anne-Françoise Schmid (INSA Lyon) et Jean-Marie Chevalier (Collège de France).
23 mai.
Pratiques de mathématiques face à l'ordinateur
(séance préparée par Maarten Bullynck et Liesbeth de Mol)
14 h -16h : - Loïc Petitgirard (CNAM), « Le rôle des instruments de calcul (analogique et numérique) dans l’histoire de la théorie des système dynamiques : calculer et « visualiser » la dynamique »
- Wolfgang Brand (Universität Stuttgart), « Changing the way mathematics is being done : Firsthand views of an eminent mathematician on the impact of computers on engineering mathematics in the 1950s and 1960s »
16 h –16 h 30 : Pause café
16 h 30 – 18 h 30 : Table ronde : « quelle place pour l’ordinateur dans l’histoire des mathématiques ? ». Avec la participation de David Aubin (UPMC), Maarten Bullynck (Université Paris 8), Liesbeth De Mol (CNRS, UMR STL, Lille), Maurice Margenstern (LITA, Université de Lorraine), Baptiste Mélès (Université de Clermont-Ferrand).
27-28 juin.
Circulations / interactions entre domaines des mathématiques au XIXe siècle et au début du XXe siècle
(séance préparée par Karine Chemlal)
La séance du vendredi 27 juin après midi s’inscrira exceptionnellement dans le cadre d’une rencontre franco-chinoise entre jeunes générations en histoire des mathématiques, organisée avec le soutien du séminaire d’INTERSEM (Notre Dame University), de SPHERE (CNRS & U. Paris 7) et de l’École normale du Hebei.
Vendredi 27 juin (Amphithéâtre Perrin)
10h -12h30 : - François Lê (Institut de Mathématiques de Jussieu), « Equation theory, substitution theory and geometry: meetings around special geometrical configurations, ca. 1870 »
- Shuhong WANG (Hebei Normal University), « The History of commutative ring in the 19th and early 20th century »
14 h -16h : - Emmylou Haffner (SPHERE), « Dedekind's algebra, an arithmetical road to more general and rigorous definitions ? »
- Tao Wang (Hebei Normal University), « Felix Klein’s view on manifold and its influence on Hermann Weyl »
16 h –16 h 30 : Pause café
16 h 30 – 18 h 30 : Table ronde. Avec la participation, outre des conférenciers, de Frédéric Brechenmacher (École polytechnique & Université d’Artois), Christophe Eckes (Archives Henri Poincaré), Anne-Sandrine Paumier (UPMC), Cédric Vergnerie (SPHERE), Wang Shuhong (Hebei Normal University) et Yan Chenguang (Hebei University of Science and Technology).
Samedi 28 juin (salle 314)
9h30 -12h45 : – Christophe Eckes (Archives Henri Poincaré), « An overview of Hermann Weyl's lectures at the Institute for Advanced Study (Princeton): Theory of Lie groups and Lie algebras, Invariant theory, algebraic theory of numbers (1934-1938) »
- Chenguang Yan (Hebei University of Science and Technology), « Chevalley’s Works on the Class Field Theory --- What and How »
- Renaud Chorlay (ESPE Paris, Paris IV & SPHERE), « Universal coverings : from uniformization theory to group theory and differential topology »
14 h15 -15h15 : - Caroline Ehrhardt (Université Paris 8), « Tactics and group theory from T.P. Kirkman to Eliakim H. Moore »
15h15 –16 h 30 : Table ronde, suivie d’une discussion générale, avec Caroline Ehrhardt, François Lê et Wang Tao