Jour: Vendredi
Date: 18/5/01
Heure: 10h30
Salle: Salle de conference du Bat 11
Projet: logical
Orateur: Pierre-Louis Curien
Institution(optionnel): PPS, Paris 7
Titre: Introduction à la ludique
Titre-long(optionnel): 
Message(optionnel): 
Resume: 

    La ludique, introduite  dans le récent article Locus  Solum de Girard,
    manipule  des objets  simples appelés  dessins (ou  desseins  selon la
    manière  dont   on  les  regarde)   qui  ressemblent  un  peu   à  des
    lambda-termes  purs. L'un  des premiers  théorèmes de  la  théorie est
    d'ailleurs un théorème de séparation.  J'insisterai sur quelques idées
    importantes de cette théorie naissante, notamment:

    - les  polarités  (il  y  a  des  règles  réversibles  et  des  règles
    irréversibles)

    - les erreurs ou "demons" (qui permettent davantage d'observations)

    - les lieux (aspect spatial de la gestion des ressources)

    - l'interaction  (cf. algorithmes  séquentiels,  sémantiques de  jeux,
    géometrie de l'interaction)