MARTIN-LÖF Per
Chaire de mathématiques et philosophie à l'Université de Stockholm
Prix
Médaille Kolmogorov pour son travail sur l'axiome du choix.
Invitations à l’IHPST
- Du Vendredi 01 octobre 2010 au Mardi 31 mai 2011
Parcours professionnel
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)