Per Martin-Löf
Cet article est une ébauche concernant un philosophe.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Pour les articles homonymes, voir Martin et Löf (homonymie).
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités | |
| Fratrie |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinctions |
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.
Biographie[modifier | modifier le code]
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[modifier | modifier le code]
- En 2005, Per Martin-Löf reçoit la Médaille Kolmogorov pour son travail sur l'axiome du choix[1].
- En 2006 il est Gödel Lecturer avec une conférence intitulée The two layers of logic.
Références[modifier | modifier le code]
Liens externes[modifier | modifier le code]
- Ressources relatives à la recherche :
- Notices dans des dictionnaires ou encyclopédies généralistes :
- Mathématicien suédois du XXe siècle
- Mathématicien suédois du XXIe siècle
- Philosophe suédois du XXe siècle
- Philosophe suédois du XXIe siècle
- Logicien suédois
- Naissance à Stockholm
- Naissance en mai 1942
- Professeur à l'université de Stockholm
- Membre de l'Académie royale des sciences de Suède
- Médaille Kolmogorov
- Gödel Lecturer
- Tarski Lecturer
- Lauréat du prix Schock
- Théorie des types
- Personnalité en logique mathématique