In November 2000 The Archive recorded the following events or arranged to share recordings of them.

 

Saturday 4 November 2000  : Seminaire MaMuPhi ENS PARIS

Guerino MAZZOLA (mathématicien) :

Penser la musique dans la logique fonctorielle des topoi (click on this link for copy do the expose)

Discussion collective de l’exposé

—oOo—

 

13th-14th November 2000

Ecole Normale Superieure, 45, rue d’Ulm, 75005 Paris
Salle Dussane

“New programs and open problems in the foundation of mathematics and of its applications, in the year 2000”   

Program :

A. Connes :   “Non-commutative Geometry”

Respondent :  TBA

Link to Audio recording of Talk and Discussion

Link to Notes and Overheads

—oOo—

J.-Y. Girard :   “Locus solum”

Respondent: P.-L. Curien

Link to Audio recording of Talk and Discussion

Link to Notes and Overheads

—oOo—

W. Lawvere :   “Dialectical foundations of, by, and for mathematics”

Respondent: I. Moerdijk

Link to Audio recording of Talk and Discussion

Link to Notes and Overheads

—oOo—

A. Macintyre  :  “Prospects in logic”

Respondent: M. F. Coste-Roy

Link to Audio recording of Talk and Discussion

Link to Notes and Overheads

—oOo—

R. Milner “The flux of computation”

Respondent :   G. Berry

Link to Audio recording of Talk and Discussion

Link to Notes and Overheads

—oOo—

Panel Discussion :  “Geometric Structures in Logic, Physics and Computing”

with the invitees and the members of the working group “Geometrie et Cognition” (G. Longo, chair)

Link to Audio recording of Panel Discussion

—oOo—