Bonjour à tou(te)s,
Vous êtes bienvenu(e)s à la journée d’études « Logic, Philosophy and Computing
- contemporary interactions » (coord. Jean-Baptiste Joinet) qui se tiendra le
mardi 26 novembre au Centre Cavaillès (29 rue d’Ulm, 3ème étage, ENS Paris –
programme ci-dessous.
Cette journée d'études rassemble des participants du programme Franco-Brésilien
“Philosophy and Computing - contemporary interactions” (CAPES-Cofecub). Elle a
en outre bénéficié du soutien du Centre Cavaillès (La République des savoirs :
Lettres, Sciences, Philosophie, USR 3608 CNRS-ENS Paris-Collège de France) et
du programme CAPES-PRINT.
Les exposés auront lieu en anglais.
Au plaisir de vous y rencontrer.
----------
Logic, Computing & Philosophy: contemporary interactions
Workshop of the CAPES-COFECUB programme Sh-873 17
Mardi 26 novembre 2019
Centre Cavaillès, 29 rue d’Ulm (3ème étage), Paris
Coord. Jean-Baptiste Joinet, Centre CAVAILLÈS - La République des savoirs :
Lettres, Sciences, Philosophie, (USR 3608 – CNRS, ENS, Collège de France)
10:30-11:30 Luiz Carlos Pereira
Negation, Glivenko and more
11:30-12:30 Hermann Hauesler
Redundancy in huge Natural Deduction proofs
12:30-14:00 Pause déjeuner
14:00-15:00 Jean-Baptiste Joinet,
Hermann Weyl on Abstraction
15:00-16:00 Gisele Secco
Diagrams & computers: how many proofs of the Four-Color Theorem?
16:00-16:15 Pause
16:15-17:15 Carolina Musitano,
On the a priori entitlement of computer-based knowledge.
———————————-
Jean-Baptiste Joinet
Professeur des universités
Université Jean Moulin - Lyon 3
Chercheur associé au Centre Cavaillès
La République des savoirs : Lettres, Sciences, Philosophie
USR 3608 (CNRS, ENS Paris, Collège de France)
Ecole Normale Supérieure,
29 rue d'Ulm, 75005 Paris
jean-baptiste.joi...@ens.fr
+33 1 44 32 29 60
--
https://www.vidal-rosset.net/Mailing_list_educasupphilo.html
