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)

Research Team(s)