Séminaire Algèbre Géométrie Algébrique Topologie Algébrique :

Le 23 mai 2003 à - salle 431

Présentée par Girard Jean-Yves - 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.