Programme

19 Juin – MSHB salle de conférences Jean Borde

    •    9h45 - 10h : Accueil des participants, présentation par Yannis Arazam, Laurent Bienvenu, Jean-Philippe Narboux
    •    10h-11h15 : Gilles Dowek (INRIA, ENS Paris-Saclay), Quel rapport y a-t'il entre les notions d'algorithme et de langage ? 

    •    11h15-11h30 : Pause

    •    11h30-12h45 : Claude Imbert (ENS Paris-Ulm), Un paradoxe sous l’antinomie:
 Pourquoi Frege n’ a-t-il pas tenu compte d’une distinction entre preuve, calcul et langage dont son oeuvre logique fut la cause, et la victime ?

    •    12h45-15h : Repas et discussions
    •    15h-16h : Yannis Arazam (Université Bordeaux Montaigne, SPH),  Complexité plutôt que calculabilité : quels enjeux philosophiques ?
    •    16h15-16h45 : Pause
    •    16h45-18h : Zoe McConaughey (Université de Lille & Université du Québec à Montréal), La logique des dialogues : un calcul interactif exprimant la dimension intersubjective du raisonnement et du langage.

20 Juin – MSHB salle de conférences Jean Borde

   •  10h - 11h15 : André Porto (Universidade Federal de Goiás), Mathematics and Time: a Reconstruction of Wittgenstein’s Philosophy of Mathematics
    •   11h15 - 11h30 : Pause

    •   11h30-12h45 : Andrew Arana (Université de Lorraine), Géographicité et hybridité en mathématiques.
    •    12h45-15h : Repas et discussions
    •    15h-16h : Table ronde et clôture.