Per Martin-Löf

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.

Pour les articles homonymes, voir Martin et Löf (homonymie).

Per Martin-Löf
Per Martin-Löf 2004
Biographie
Naissance

Jakob (d)
Nationalité
Formation
Activités
Fratrie
Anders Martin-Löf (en)
Autres informations
A travaillé pour
Membre de
Dir. de thèse
Distinctions

Biographie

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çues

Références

Liens externes

  • Portail de la philosophie
  • Portail de la logique
  • Portail de la Suède
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.