Aller au contenu

Institut de Recherches Philosophiques de Lyon


Accueil > Actualités > Toutes les actus

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

Evènement | du 19 septembre 2018 au 30 janvier 2019

de 18h à 20h

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.


INFOS PRATIQUES

Lieu

Université Jean Moulin Lyon 3
Voir salle indiquée pour chaque séance

Contact

Jean-Baptiste Joinet

Type

A la Une, Colloque / Séminaire

Thématique

Manifestations scientifiques, Recherche, Philosophie

Université de Lyon