Journée d’étude « Logic, Computing and Philosophy: contemporary interactions »


Détails de l'événement

Cet événement s'est terminé le 26 novembre 2019


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

Affiche_Ars_combinatoria_2017_2018

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