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. Depuis les années 1970, ses publications sont majoritairement des travaux de logique. En logique philosophique, il s'est intéressé au notions de jugement et de conséquence logique, notamment inspiré par Brentano, Frege, et Husserl. En logique mathématique, il défend l'idée que sa puisse servir de nouvelle base dans le projet de fondements des mathématiques.
Biographie
Per Martin-Löf est un ornithologue amateur enthousiaste. Sa première publication scientifique en 1961 portait sur les taux de mortalité des oiseaux bagués.
Martin-Löf a écrit une thèse de licence sur la probabilité des structures algébriques, en particulier des demi-groupes, un programme de recherche dirigé par Ulf Grenander de l'université de Stockholm.
Il a donné de nombreux cours et conférences autour de sa théorie des types intuitionniste, notamment vis-à-vis de son impact en philosophie des mathématiques. Ces cours ont été transcrits et sont disponibles librement sur internet.
Jusqu'à sa retraite en 2009, Per Martin-Löf occupait la chaire de mathématiques et philosophie de l'université de Stockholm.
Distinction reçues En 2005, Per Martin-Löf reçoit la Médaille Kolmogorov pour son travail sur l'axiome du choix http://www.kolmogorov.clrc.rhul.ac.uk/pastwinners.html.. En 2006 il est Gödel Lecturer avec une conférence intitulée The two layers of logic.
Références
Liens externes
Catégorie:Mathématicien suédois du XXe siècle Catégorie:Mathématicien suédois du XXIe siècle Catégorie:Philosophe suédois du XXe siècle Catégorie:Philosophe suédois du XXIe siècle Catégorie:Logicien suédois Catégorie:Naissance à Stockholm Catégorie:Naissance en mai 1942 Catégorie:Professeur à l'université de Stockholm Catégorie:Membre de l'Académie royale des sciences de Suède Catégorie:Médaille Kolmogorov Catégorie:Gödel Lecturer Catégorie:Tarski Lecturer Catégorie:Lauréat du prix Schock Catégorie:Théorie des types Catégorie:Personnalité en logique mathématique