Per Martin-Löf Mathematician

Per martin lof

Per Erik Rutger Martin-Löf (born 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science. Per Martin-Löf holds a joint chair for Mathematics and Philosophy at Stockholm University. His brother Anders Martin-Löf is now emeritus professor of mathematical statistics at Stockholm University; the two brothers have collaborated in research in probability and statistics. The research of Anders and Per Martin-Löf has influenced statistical theory, especially regarding exponential families, the expectation-maximization method for missing data, and model selection.

Personal details

Date of birth
May 8th, 1942


1. Stockholm University Colleges/University

Stockholm University (Swedish: Stockholms universitet) is a state university in Stockholm, Sweden. It has over 36,000 students at four faculties, making it one of the largest universities in Scandinavia. The institution is also frequently regarded as one of the top 100 universities in the world. Stockholm University was granted university status in 1960 and is therefore the fourth oldest Swedish university.

Type Public university
Institution colors
Universitetsvägen 10 A, 10691 - Stockholm, Stockholm County
2013. 50,000
2013. 1,800
2011. 1,919
Official web page
Wikipedia article

Institution social analysis

Notable alumni by career
Notable alumni by gender

People attended Stockholm University connected by profession and/or age

b. 1944., Mathematician
b. 1893., Mathematician
b. 1870., Mathematician
b. 1929., Mathematician
b. 1894., Mathematician
b. 1861., Mathematician
b. 1913., Mathematician
b. 1925., Mathematician


Check Per Martin-Löf on wikipedia.

Facebook comments