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 2010-2011 > Mai 2011

Mai 2011

tuesday, May 3 , 9h30 – 18h, room 086A

Séminaire de philosophie des mathématiques – Paris Diderot. Paris Diderot PhilMath 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
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

Carlo Severi
(EHESS)
Les arts de la mémoire : un artefact mental.


Courtney Roby
(Stanford University)
Modes of instruction in ancient Greek mechanical texts.


Viktoria Tkaczyk (SPHERE)
How to do science with words ? Ernst F. F. Chladni’s report on his audience with Napoleon.





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 PhilMath Seminar


 :: Session 7 : Algorithmic Randomness


10h-11h15 : Towards a stable definition of Algorithmic Randomness"
Hector ZENIL
(Computer Science, Lille 1) webpage


14h30-16h : Probability and Randomness
Antony Eagle
(Philosophy, Oxford) webpage


11h25 - 12h40 : On Analogues of the Church-Turing Thesis in Algorithmic Randomness
Christopher Porter (Philosophy/Math, Notre Dame) webpage webpage


16h10-17h40 : Limits to the Algorithmic Compression of Empirical Data
J. W. McAllister
(Philosophy, Leiden) 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
(SPHERE)


Les cas cliniques dans les textes de médecine écrite en langue arabe, IXe-XIe siècles
Mehrnaz Katouzian-Safadi
(CNRS, SPHERE)





vendredi 20 mai , 14h – 17h, salle Mondrian, 646A


Philosophy and Physics


La géométrisation de la physique : localisation et non commutativité
Jean Petitot
(CREA, Ecole Polytechnique)





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







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