Per Martin-Löf
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Socrates_Louvre.jpg/26px-Socrates_Louvre.jpg)
Cet article est une ébauche concernant un philosophe.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Martin et Löf (homonymie).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/19/Per_MartinLoef.jpg/260px-Per_MartinLoef.jpg)
Naissance | ![]() Jakob parish (d) ![]() |
---|---|
Nationalité | |
Formation | |
Activités | Ornithologue, mathématicien statisticien, philosophe, professeur d'université ![]() |
Fratrie |
A travaillé pour | |
---|---|
Membre de | Academia Europaea () Académie royale des sciences de Suède ![]() |
Directeur de thèse | |
Distinctions |
modifier - modifier le code - modifier Wikidata
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
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
- 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
- ↑ (en) http://www.kolmogorov.clrc.rhul.ac.uk/pastwinners.html.
Liens externes
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Notices dans des dictionnaires ou encyclopédies généralistes
:
- Britannica
- Nationalencyklopedin
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- CiNii
- Belgique
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Australie
- Norvège
- Tchéquie
- WorldCat
Portail de la philosophie
Portail de la logique
Portail de la Suède