Séminaire Algèbre Géométrie Algébrique Topologie Algébrique
vendredi 23 mai 2003 à - salle 431
Jean-Yves Girard (IML, Université Aix - Marseille II)
Entre logique et quantique
Au lieu d'interpréter le quantique dans la logique comme la défunte logique quantique, on fait le contraire. Les espaces cohérents quantiques généralisent les espaces cohérents de la logique linéaire. On verra, entre autre, que la régle de réécriture "ETA-expansion" (extensionalité) correspond à la réduction du paquet d'ondes.