Per Martin-löf
personne
logicien, philosophe et mathématicien suédois
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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Per_Martin-Löf
Lien Wikidata : https://www.wikidata.org/wiki/Q2067227
Propriétés
- date_naissance
- +1942-05-0
- genre_personne
- masculin
- lieu_naissance
- {"qid": "Q1754", "label": "Stockholm"}
- nationalite
- Suède
- occupation
- ornithologue
- p106_all
- ornithologue, professeur d'université, statisticien ou statisticienne, philosophe