Cursus :
Logicien, philosophe et statisticien, Per Martin-Löf est connu pour ses travaux sur la probabilité, la logique mathématique, la statistique...Sur le domaine philosophique, il s'est attaché aux questions du jugement, inspiré en cela par les travaux de Brentano, Frege et Husserl. Ses recherches ont également marqué le savoir informatique. Il a aussi posé une théorie des types intuitionnistes comme base constructive des mathématiques. .
Per Martin-Löf occupe la chaire de mathématiques et philosophie de l'université de Stockholm.
Affiliation : Université de Stockholm - Académie Royale des Sciences de Suède - Chaire internationale Blaise Pascal
Statut : Logicien, philosophe et mathématicien
Liens :
- Page personnelle de Per Martin-Löf sur le site du Laboratoire SPHERE- Page personnelle de Per Martin-Löf sur le site de Wikipédia
- Stockholms Universitet
