Journée d’étude

« Logic, Computing and Philosophy:
contemporary interactions »

Journée de l’Action Capes-Cofecub Sh-873 17

Mardi 26 novembre 2019

9h-18h

Adresse
ENS – 29 rue d’Ulm – 75005 Paris
Salle du Centre Cavaillès (3ème étage, droite)

coord. par
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. »