Per Martin-Löf

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant un philosophe
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
Per MartinLoef.jpg

Per Martin-Löf 2004

Biographie
Naissance
Voir et modifier les données sur Wikidata (74 ans)
Nationalité
Activités
Frère
Anders Martin-Löf (en)Voir et modifier les données sur Wikidata
Autres informations
Domaine
Membre de

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.

Biographie[modifier | modifier le code]

Distinction reçues[modifier | modifier le code]

Références[modifier | modifier le code]

  1. (en) http://www.kolmogorov.clrc.rhul.ac.uk/pastwinners.html

Liens externes[modifier | modifier le code]