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