Per Martin-Löf
Swedish logician, philosopher, and mathematical statistician / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Per Martin-Löf?
Summarize this article for a 10 year old
Per Erik Rutger Martin-Löf (/lɒf/;[2] Swedish: [ˈmǎʈːɪn ˈløːv];[3] born 8 May 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.[4]
Per Martin-Löf | |
---|---|
Born | (1942-05-08) 8 May 1942 (age 81) |
Nationality | Swedish |
Citizenship | Sweden |
Alma mater | Stockholm University |
Known for | Random sequences Exact tests Repetitive structure Sufficient statistics Expectation maximization method Martin-Löf type theory Martin-Löf randomness |
Awards |
|
Scientific career | |
Fields | Computer Science Logic Mathematical statistics Philosophy |
Institutions | Stockholm University University of Chicago Aarhus University |
Doctoral advisor | Andrei N. Kolmogorov |
Until his retirement in 2009,[5] Per Martin-Löf held a joint chair for Mathematics and Philosophy at Stockholm University.[6]
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 concerning exponential families, the expectation-maximization method for missing data, and model selection.[7]
Per Martin-Löf received his PhD in 1970 from Stockholm University, under Andrey Kolmogorov.[8]
Martin-Löf is an enthusiastic bird-watcher; his first scientific publication was on the mortality rates of ringed birds.[9]