LOGICAL RATIONALITY AND GEOMETRIC INTUITION "Rationalite' logique et intuition geometrique" Paris, 9 and 10 June 1994 Ecole Normale Superieure, 45, rue d'Ulm, Salle Dussane 75005 Paris Jointly organised by the Departement Mathematiques et Informatique de l'ENS, CREA (Ecole polytechnique - CNRS) and the Institut d'histoire et de philosophie des sciences et des techniques (Paris I - CNRS) Organizers: Daniel Andler (CREA & Paris X - Nanterre), Giuseppe Longo (CNRS, ENS) et Hourya Sinaceur (CNRS, IHPST) Thursday June 9, 1994 9h30 Ouverture du colloque: E. Guyon (Directeur, ENS) 10h Rene Thom (IHES) : L'efficacite' pragmatique des mathematiques est-elle due a` la logique ou a` l'intutition geometrique? 10h50 Repondant : Giuseppe Longo (ENS) 11h15 Discussion 12h Aperitif 14h Alain Berthoz (College de France) : La geometrie euclidienne a-t-elle des fondements dans l'organisation des systemes sensoriels et moteurs ? 14h50 Repondant : Frederic Nef (Universite de Rennes) 15h15 Discussion 15h50 Pause 16h10 Jean Petitot (EHESS) : Logique geometrique et statut modal de l'espace 17h Repondant : Bernard Teissier (ENS) 17h25 Discussion Friday June 10 9h Dana Scott (Carnegie Mellon University) : Infinitesimals 9h50 Repondant : David Miller (Warwick College) 10h15 Discussion 10h50 Pause 11h10 Pierre Cartier (ENS)Algebrisation de la geometrie (et vice versa) 12h Repondant : Marie-FranIoise Roy (universite de Rennes) 12h25 Discussion 14h30 Lamberto Maffei (Scuola Normale Superiore, Pise) : What Galileo's brain told Galileo's eye 15h20 Repondant : Jacques Ninio (ENS) 15h45 Discussion 16h20 Pause 16h30 Daniel Andler (CREA) : Synthese des journees Information: auffray@dmi.ens.fr