mardi 2 février 2010, 9h30-12h30 et 14h-17h
Séminaire SPHERE, Histoire et Philosophie des Mathématiques
: : La démonstration de correction d’algorithmes : :
Karine Chemla (SPHERE, CNRS – Un. Paris Diderot)
Démonstration de la correction d’algorithmes dans les traditions anciennes
Jeremy Avigad (Dep. Philo. Hist. Math., Carnegie Mellon Univ.
Microsoft Research – INRIA Joint Centre)
Formal verification of algorithms
Gilles Dowek (Ecole Polytechnique)
Axiomes v.s. algorithmes : qu’est-ce qu’une théorie ?
Benjamin Werner (INRIA –DR– et Professeur Chargé de Cours
à l’Ecole Polytechnique)
Prouver des algorithmes pour prouver des théorèmes
jeudi 18 février 2010, 15h
Sciences et Philosophie de l’Antiquité à l’Age classique
[ salle 483A-Malevitch ]
: : Musique : :
Massimo Raffa (Catane)
The Tuning of the Kosmos : Reason, Perception and the Construction
of Encyclopaedia in Ptolemy’s Harmonics
Anas Ghrab (Tunis)
Les intervalles musicaux dans l’œuvre de Safi al-Dīn al-Urmawī (XIIIe s.)
et la frontière science/théorie de la musique
Matthieu Husson (Paris)
Deux exemples d’utilisation de mathématiques en musique dans le premier
quatorzième siècle latin
vendredi 19 février 2010, 15h-17h
La cosmologie d’Averroès
: : L’unicité du monde : DC I 8-9 (suite) : :
Ahmad Hasnaoui (CNRS-UMR 7219)
Cette séance se tiendra en salle des séminaires du Centre d’Etudes Anciennes, ENS, 45 rue d’Ulm, 75005 Paris.
jeudi 25 février, 14h30-19h
Sciences et savoirs de la Terre et du Ciel de l’Antiquité à Newton
[ salle 646A-Mondrian ]
: : Les sphères compensatrices d’Aristote : :
Taïeb Farhat (UMR 7219)
vendredi 26 Février
Philia/ Dikè (II) : autour de la Politique d’Aristote
10 H Pierre Pellegrin
L’amitié politique
11 H Pierre Destrée
Tragédie, liens familiaux et communauté politique : la philia dans la Poétique
14 H Esther Rogan
Atelier de lecture de textes
Cette séance se tiendra en salle 402, Institut de Géographie,
191 rue Saint Jacques, 75005 Paris. Métro Luxembourg.
samedi 27 Février
Philia/ Dikè (II) : autour de la Politique d’Aristote
10 H Charlotte Murgier
La médiation du propre dans la théorie aristotélicienne de l’amitié
11 H Pierre Chiron
La philia dans la Rhétorique
Cette séance se tiendra en salle Cavaillès, UFR de Philosophie,
17, rue de la Sorbonne, 75005 Paris.