Institut de Mathématiques de Luminy

Nomination au Doctorat Honoris Causa

Cérémonie du jeudi 25 novembre 2004

Remise du Diplôme de Docteur Honoris Causa de l'Université de la Méditerranée, à la Faculté de Médecine de la Timone :
Le Pr. Per MARTIN-LÖF est présenté par Jean-Yves GIRARD (Directeur de Recherches CNRS - IML).
La cérémonie a été précédée par la rencontre de l'ACI GEOCAL des 23 et 24 novembre 2004 :
"Constructivisme et extraction de programmes à partir de preuves".

ACI_GEOCAL-2004-2_1 ACI_GEOCAL-2004-2_2 ACI_GEOCAL-2004-2_3 ACI_GEOCAL-2004-2_4
ACI_GEOCAL-2004-2_5 ACI_GEOCAL-2004-2_6 Honoris_Causa_Martin-Löf01 Honoris_Causa_Martin-Löf02
Honoris_Causa_Martin-Löf03 Honoris_Causa_Martin-Löf04 Honoris_Causa_Martin-Löf05 Honoris_Causa_Martin-Löf06
Honoris_Causa_Martin-Löf07 Honoris_Causa_Martin-Löf08 Honoris_Causa_Martin-Löf09 Honoris_Causa_Martin-Löf10
Honoris_Causa_Martin-Löf11 Honoris_Causa_Martin-Löf12 Honoris_Causa_Martin-Löf13 Honoris_Causa_Martin-Löf14
Honoris_Causa_Martin-Löf15 Honoris_Causa_Martin-Löf16 Honoris_Causa_Martin-Löf17 Honoris_Causa_Martin-Löf18
Honoris_Causa_Martin-Löf019

Per Martin-Löf a apporté des contributions fondamentales à la logique et à l'informatique théorique (intuitionisme, théorie des types...).


Per Martin-Löf's work on constructive type theory has had a tremendous impact on logic and mathematics, as well as important applications in computer science and linguistics.
Constructive Set Theory is a theory of sets that is founded on a particular version of constructive mathematics (the version that has been developed by Per Martin-Löf over nearly 30 years and has been called intuitionistic/constructive type theory).

Crédits photos : Marie-Renée Donnadieu

Dernière mise à jour le 3 décembre 2004, EL