Per Martin-Löf

Per Martin-Löf
Per MartinLoef.jpg
Per Martin-Löf 2004
Biographie
Naissance
Voir et modifier les données sur Wikidata (77 ans)
Jakob (d)Voir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Fratrie
Anders Martin-Löf (en)Voir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Domaine
Membre de
Directeur de thèse
Distinction

Per Martin-Löf est un logicien, philosophe et mathématicien suédois né en 1942. 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.

BiographieModifier

Per Martin-Löf est un ornithologue amateur enthousiaste. Sa première publication scientifique en 1961 portait sur les taux de mortalité des oiseaux bagués.

Martin-Löf a écrit une thèse de licence sur la probabilité des structures algébriques, en particulier des demi-groupes, un programme de recherche dirigé par Ulf Grenander de l'université de Stockholm.

Jusqu'à sa retraite en 2009, Per Martin-Löf occupait la chaire de mathématiques et philosophie de l'université de Stockholm.

Distinction reçuesModifier

RéférencesModifier

Liens externesModifier