• Manifestations scientifiques,
  • Recherche,
  • Philosophie,

Séminaire 2018-19 | Logique, Mathématiques, Informatique, Raisonnement

Publié le 11 septembre 2018 Mis à jour le 11 janvier 2019

Séminaire de philosophie des sciences organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL).

Coordination scientifique : Jean-Baptiste Joinet, Simone Martini, Wendy Hammache  et Yannis Hausberg
 

Programme du séminaire :
 

  • Séance 1
    Mercredi 19 septembre de 18h à 20h
    Salle Pelloux, 15 quai Claude Bernard - 69007 Lyon

    "Une généralisation de l'approche frégéenne des définitions par abstraction"
    par Jean-Baptiste JOINET (IRPhiL)

  • Séance 2
    Jeudi 11 octobre de 18h à 20h
    CH 207, 18 rue Chevreul - 69007 Lyon

    "Logique et calculabilité : la différence entre généralisation et transfert conceptuel"
    par Giuseppe LONGO (Centre Cavaillès, USR 3608 CNRS-ENS Paris-Collège de France)
     
  • Séance 3
    Mercredi 30 janvier de 18h à 19h30

    CH 201, 18 rue Chevreul - 69007 Lyon

    "How formulae became types"
    par Felice CARDONE, Professore associato, Dipartimento di Informatica - Università degli Studi di Torino

    Résumé :
    The Curry-Howard correspondence between constructive logical formulae and types for lambda-terms has a prehistory, a history and some promises of a future life. I will summarize the history of this correspondence focussing on some lesser known contributions, mostly from areas outside proof-theory, leading to a reappraisal of the Heyting-Kolmogorov interpretation of the intuitionistic logical constants.

Contact :
Jean-Baptiste Joinet :
Thématiques :
Manifestations scientifiques; Recherche; Philosophie