tuesday, May 3
, 9h30 – 18h, room 086A
Séminaire de philosophie des mathématiques – Paris Diderot.
Paris Diderot PhilMaths Seminar
Co-organized by Mattia Petrolo (Université Paris Diderot - Paris 7,
Laboratoire SPHERE, Equipe REHSEIS) webpage
: : Session 6 : Proof-theoretic semantics and the justification of logical laws
9h30 – 11h
First Steps in Proof-Theoretic Semantics
Enrico Moriconi
(Philosophy, Pisa)
webpage
11h10 – 12h40
From side-effects to types and contexts
Noam Zeilberger
(Mathematics, Paris-PPS)
webpage
14h30 – 16h
Classical natural deduction
Jan von Plato
(Philosophy, Helsinki)
webpage
16h10 – 17h40
The semantic justification of logical laws
Ian Rumfitt
(Philosophy, Birkbeck, University of London)
webpage
17h40 – 18h
Göran Sundholm
(Universiteit Leiden) webpage
Discussion and comments on Rumfitt’s "The semantic justification of logical laws"
jeudi 5 mai
, 9h30 – 17h30, salle Klein, 612B
Histoire des sciences, histoire du texte,
Séance organisée avec Agathe Keller et Koen Vermeir
: : L’inscription de l’oral
Les arts de la mémoire : un artefact mental.
Carlo Severi
(EHESS)
Modes of instruction in ancient Greek mechanical texts.
Courtney Roby
(Stanford University)
How to do science with words ? Ernst F. F. Chladni’s report on his audience with Napoleon.
Viktoria Tkaczyk (SPHERE)
jeudi 5 et vendredi 6 mai
, 14h30 – 19h, salle Kupka, 512A
Sciences et savoirs de la Terre et du Ciel de l’Antiquité à Newton
Atelier Desanti
[A. Michel, B. Besnier, C. Lobo, A. Lanciani
vendredi 6 mai
: : la machine à penser
Transcending our natural cognitive powers : Leibniz, Newton, and the justification of the calculus
Stephen Gaukroger (Sydney)
The Restless Clock
Jessica Riskin (Stanford/Paris)
La symbiose homme-machine ou l’informatique comme un jeu
Mathieu Triclot (Belfort)
Post-humanité, machine à penser et oralité dans Ghostwritten de David Mitchell (1999)
Helène Machinal (Brest)
Machine of Innovation : Aleksej Gastev’s homo sovieticus
Wladimir Velminski (Berlin)
Une Machine à aimer : le cas Hadaly
Sydney Levy (Paris)
L’esprit de corps
Xavier Mauméjean (Valenciennes)
Commentaire et discussion
Pierre Cassou-Nogues (Paris)
lundi 9 mai
, 9h30 – 18h, salle Mondrian, 646A
Histoire et Philosophie des mathématiques
Séance construite par Karine Chemla et Ivahn Smadja dans le cadre du projet “Contrasting Proofs”
: : Démonstrations arithmétiques
Formaliser l’énumération dans les démonstrations arithmétiques (XVIIIe siècle).
Marteen Bullynck
(Univ. de Paris-Vincennes)
Les critères d’arithméticité de Kronecker et l’image changeante de démonstrations arithmétiques au tournant du XIXe au XXe siècle.
Norbert Schappacher
(Univ. Louis Pasteur, Strasbourg)
"The soul of the fact" : Poincaré and proof
Jeremy Gray
(Open University, London)
mardi 10 mai
, 14h30 – 17h30, salle Mondrian, 646A
Histoire culturelle et interdisciplinaire des techniques
Relations entre mathématiques et techniques autour de la mécanisation du calcul
Marie-José Durand-Richard
(SPHERE)
Temporalité et prospective dans les techniques énergétiques
Michael Achilli
(SPHERE)
mercredi 11 mai
, 14h – 15h45, salle Mondrian, 646A
Groupe de lecture des doctorants
Fabien Gregis
autour du chapitre 6 de Inventing Temperature : Measurement and Scientific
Progress, Hasok Chang, Oxford University Press, 2004
mercredi 11 mai
, 16h – 18h, salle Mondrian, 646A
Epistémologie historique et sciences sociales : le cas de l’évolutionnisme culturel
Emmanuel D’hombres
(Université Catholique de Lyon)
tuesday, May 17
, 9h30 – 18h, !!! Room Malevitch, 483A !!!
Séminaire de philosophie des mathématiques – Paris Diderot.
Paris Diderot PhilMaths Seminar
: : Session 7 : Algorithmic Randomness
Jean-Paul Delahaye
(Université des Sciences et Technologies de Lille, LIFL (Laboratoire
d’Informatique Fondamentale de Lille) Equipe SMAC)
webpage
Antony Eagle
(Philosophy, Oxford)
webpage
J. W. McAllister
(Philosophy, Leiden)
webpage
Christopher Porter
(Philosophy/Math, Notre Dame)
webpage
mardi 17 mai
, 14h – 18h, salle Rothko, 412B
Séance organisée par Florence Bretelle-Establet (SPHERE)
: : Ecrire par cas en médecine
Les cas cliniques dans les textes chinois de médecine, XVIe-XXe siècles
Florence Bretelle-Establet
Les cas cliniques dans les textes de médecine écrite en langue arabe, IXe-XIe siècles
Mehrnaz Katouzian-Safadi
(CNRS, SPHERE)
jeudi 19 mai
, 10h – 16h, salle Malevitch, 483A
Sciences et Philosophie de l’Antiquité à l’Age classique
Responsable : Cristina Cerami (SPHERE)
: : La nature du mouvement dans la tradition aristotélicienne greco-arabo-latine
Aristotle and the Aristotelian Tradition on the Project of an Integrated Study of Motion
Andrea Falcon
(Concordia University, Montreal)
La double notion du mouvement chez Avicenne
Ahmad Hasnaoui
(SPHERE–CHSPAM)
Some medieval positions on the ontological status of motion
Cecilia Trifogli
(univ. of Oxford)
vendredi 20 mai
, 13h – 18h, salle 216, centre Panthéon, Paris 1
Séminaire de traduction des Eléments de théologie de Proclus 07
vendredi 20 mai
, 14h – 17h, salle Malevitch, 483A
La géométrisation de la physique : localisation et non commutativité
Jean Petitot
(CREA, Ecole Polytechnique)
vendredi 20 mai
, 13h – 18h, salle 216, centre Panthéon, Paris 1
Séminaire de traduction des Eléments de théologie de Proclus 07
lundi 23 mai
, 9h30 – 17h30, salle Kupka, 512A
Histoire des sciences, histoire du texte,
: : Rencontre conjointe des projets « Ecritures scientifiques » & « Histoire des sciences, histoire du texte »
9h30 – 13h
Descartes : l’écriture de l’équation entre la Géométrie, la Dioptrique et le Monde
Lucien Vinciguerra
(Savoirs, textes et langages, Université Lille 3 )
Every Galois Field is a Galois Field" (Chicago, 1893) : une identité, deux écritures
Frédéric Brechenmacher
(Institut de mathématiques de Jussieu–CNRS & Laboratoire de mathématiques de Lens, univ. d’Artois
Les notes des cours ou le passage de l’oral à l’écrit
Martha Cecilia Bustamante
(SPHERE)
14h30 – 17h
Peut-on appeler « poésie » les sutras versifiés des traités médiévaux sanskrits portant sur l’astronomie et les mathématiques ?
Agathe Keller
(REHSEIS – SPHERE, CNRS)
Convaincre, diriger, rappeler : ce que font les médecins chinois quand ils écrivent
Florence Bretelle-Establet
(REHSEIS – SPHERE, CNRS)
Discussion
vendredi 27 mai
, 14h30 – 19h, salle Kupka, 512A
Sciences et savoirs de la Terre et du Ciel de l’Antiquité à Newton
Au fil du temps
Nathanaël Masselot (Lille 3/UMR 8163)
lundi 30 mai
, 9h30 – 12h30, salle Rothko, 412B
Al-Sijzi, géomètre euclidien ? (2e partie)
Pascal Crozet (SPHERE)
Tous les détails (résumés, ... ) sur chaque page de séminaire.
