[Prev][Next][Index][Thread]
workshop: "Is Mathematical Logic alive?
Date: Wed, 26 Feb 92 14:15:35 GMT+0100
WORKSHOP
Ecole Normale Superieure
Departement de Mathematiques et Informatique et
Section de Philosophie
"Is Mathematical Logic alive?
La seconde vie de la Logique Mathematique"
April 6 - 7, 1992,
Salle Celan, ENS
45 Rue d'Ulm, 75005 Paris
Monday, April 6
9.30 Jean-Yves Girard (CNRS and Paris VII)
"La theorie de la demonstration : des fondements a l'algorithmique/
Proof Theory: from foundation to algorithms"
11.00 Per Martin-Lof (Stockolm Univ.)
"On the relation between Logic and the Theory of Knowledge"
12.30 Lunch
14.30 Solomon Feferman (Stanford Univ.)
"From problem-driven logic to use-driven logic."
15.45 Cafe'
16.15 Jean-Louis Krivine (Univ. Paris VII)
"La mathematique des programmes et le programme des mathematiques"
Tuesday, April 7
9.30 Panel discussion:
"De la Logique Mathematique aux problemes de la connaissance /
>From Mathematical Logic to the problem of knowledge"
Partecipants:
G. Longo, chairman (CNRS and ENS), V. Danos (CNRS and Paris VII), C.
Imbert (Sect. de Philosophie, ENS), P. de Rouilhan (CNRS,
Philosophie, et IHST), M. Sabbagh, (Paris VII), G. Sambin (Univ. de
Padova) and the invited speakers above.
Organizers:
M. Broue' (Dept. Math. et Info, ENS, directeur), C. Imbert (Dept. de
Philosophie, ENS),
G. Longo (CNRS and ENS; e-mail: longo at dmi.ens.fr
tel. (NOTE Longo's NEW DIRECT TEL): ++39 - 1 - 4432-3328).
Attendance is free.
A list of hotels may be request to Longo, but reservations should be
made directly by the partecipants.