Per Martin-Löf
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant un philosophe.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
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. Per Martin-Löf occupe la chaire de mathématiques et philosophie de l'université de Stockholm.
[modifier] Biographie
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue !
[modifier] Distinction reçues
- En 2005, Per Martin-Löf reçoit la Médaille Kolmogorov pour son travail sur l'axiome du choix[1].
