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 2010-2011 : archives > Programme des séminaires de mai 2011

Programme des séminaires de mai 2011


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 , 9h30 – 18h00, salle Mondrian, 646A


Machines et imaginations


 :: 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


Épistémologie historique

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


Histoire des sciences en Asie


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


Philosophy and Physics


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


Mathématiques "arabes"

Al-Sijzi, géomètre euclidien ? (2e partie)
Pascal Crozet (SPHERE)







Tous les détails (résumés, ... ) sur chaque page de séminaire.