Nous avons le plaisir de vous informer qu'Armelle Thomas a pris ses fonctions d'ITA à l'IHPST. [En savoir plus]
Prochainement à l’IHPSTJeudi 17 mai 2012, 12:00-17:00
Réunion du Comité Editorial de la Collection de Philosophie de la Biologie de Springer
IHPST – UMR8590
13, rue du Four
75006 Paris
Tél. : +33 (0)1 43 54 60 36
IST : +33 (0)1 43 54 94 60
Fax : +33 (0)1 43 25 29 48
Adresser un mail
Autres ( – )
Chaire de mathématiques et philosophie, Université de Stockholm
Médaille Kolmogorov pour son travail sur l'axiome du choix.
Logicien, philosophe et mathématicien, Per Martin-Löf est membre de l'Académie Royale des Sciences de Suède.
Il est connu pour avoir développé la théorie des types intuitionnistes comme base constructive des mathématiques. Il est également à l'origine d'une des définitions toujours en vigueur d'une suite aléatoire.
Membre de l'Academia Europaea
Docteur honoris causa de l'Université de Leyde
Docteur Honoris Causa de l'Université de Méditérranée (Aix-Marseille II)
Fiche mise à jour le Lundi 11 octobre 2010
URL : http://www-ihpst.univ-paris1.fr/237,per_martin_lof.html
