Per Martin-Löf

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Per Martin-Löf 2004

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