Per Martin-Löf
personne logicien, philosophe et mathématicien suédois
Aussi : Per Martin-Lof, Per Martin Löf
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. — Wikipédia (CC BY-SA)
Nature : être humain
- naissance
- mai 1942
- genre
- masculin
- lieu de naissance
- Stockholm
- nationalité
- Suède
- occupation
- ornithologue
Catégories : journalistes · professeurs d'université · enseignants · personnes
Mots du lexique : Per nom propre, Martin nom propre, Löf nom propre