Per Martin-Löf Mathematician
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.
|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.
|Official web page||www.su.se|