La troisième édition de l’Ecole Thématique « Mathématique, Informatique et Philosophie Contemporaines » a eu lieu à l’Institut de Mathématiques de Toulouse, salle Jean Cavaillès 132, Bât 1R2 du 23 au 27 mars.
On trouvera ci-dessous le programme, l’affiche, ainsi que le livret des résumés.
Lundi 23 mars
10h30-12h D. Rössler (CNRS, IMT), Un aperçu de la philosophie des mathématiques de Ferdinand Gonseth.
14h-15h30 A. Arana (Univ. Illinois-IméRA), La profondeur en mathématiques (I).
16h-17h30 J.-M. Salanskis (Univ. Paris Ouest, IREPH), L’herméneutique formelle.
Mardi 24 mars
10h30-12h B. Mélès (CNRS, AHP), Langages théoriques et langages concrets en programmation.
14h-15h30 & 16h-17h30 M. Panza (CNRS, IHPST) & J.-M. Salanskis (Univ. Paris Ouest, IREPH), Discussion croisée autour des livres :
M. Panza & A. Sereni, Introduction à la philosophie des mathématiques, Paris, Flammarion, 2013
J.-M. Salanskis, Philosophie des mathématiques, Paris, Vrin, 2008.
Mercredi 25 mars
10h30-12h J.-M. Salanskis (Univ. Paris Ouest, IREPH), Le constructivisme non standard.
14h-15h30 B. Halimi (Univ. Paris Ouest, IREPH-SPHERE), Quelques problèmes que pose la logique à la philosophie des mathématiques.
16h-17h30 A. Arana (Univ. Illinois-IméRA), La profondeur en mathématiques (II)
Jeudi 26 mars
10h30-12h D. Rössler (CNRS, IMT), L’objet mathématique à la lumière de l’existentialisme thomiste.
14h-15h30 B. Mélès (CNRS, AHP), Ontologies des langages de programmation.
16h-17h30 E. Haffner (Univ. Lorraine, AHP), La « Science des nombres » en action dans les travaux de Dedekind : entre explorations mathématiques et investigations fondationnelles.
Vendredi 27 mars
10h30-12h D. Rabouin (CNRS, SPHERE), Quelques problèmes que pose l’histoire des mathématiques à la philosophie des mathématiques.
14h-15h30 B. Mélès (CNRS, AHP), Le temps selon Unix.
16h-17h30 D. Rössler (CNRS, IMT), Retour sur les Fondements de L’Arithmétique de Frege. Six philosophies de l’arithmétique.
Résumés_Ecole_Thématique_MIPhC_III
Affiche_Ecole_Thématique_MIPhC_III