"Constructivity, in Mathematics and in Vision"
Colloquium, Ecole Normale Superieure, Paris, France
Salle Dussane, 45, Rue D'Ulm, F-75005 Paris, Vendredi 31 Mars 1995
Programme
-
9.30 Introduction au Colloque (Giuseppe Longo)
-
9.45 Jean-Yves Girard (LMD, CNRS, Marseille)
Constructivite': vers une dualite' moniste
-
11.15 Jean-Michel Morel (CEREMADE, Paris Dauphine)
Reconstruction visuelle et ge'ne'ricite'
-
12.30 Pause
-
14.00 J. Kevin O'Regan (CNRS et Univ. de Paris V)
La perception visuelle: Le monde comme me'moire externe
-
15.15 Per Martin-Löf (Univ. Stockholm)
Mathematical constructions: mental or real
-
16.30 Pause
-
16.45 Conclusion et Discussion
(introduites par Gerard Huet (INRIA), Giuseppe Longo et Jacques Ninio,
CNRS et ENS). Entre'e libre. Organizateur: G. Longo.
Dept. Mathematiques et Informatique, ENS
Renseignements: Mme B. Van Elsen, DMI, ENS
tel. ++33-1-4432-2034; fax 4432-2080; e-mail: vanelsen@dmi.ens.fr