The first scientific publication authored by Per Martin-Löf concerned the mortality rates of ringed birds, an early intersection of his lifelong interests in statistics and ornithology. Born in Stockholm in 1942, he established a career spanning mathematical logic, philosophy, and probability theory, while remaining an active researcher within the Swedish academic system until his retirement in 2009.
Foundations of Randomness
During the mid-1960s, Martin-Löf pursued doctoral studies under the supervision of Andrei Kolmogorov in Moscow. In 1966, he published a definitive approach to random sequences by applying computational theory to define randomness tests. This work separated algorithmic randomness from statistical probability, establishing that a random string is one possessing high Kolmogorov complexity, rendering it incompressible by computer programs shorter than the sequence itself.
Statistical Theory and Finite Samples
Much of Martin-Löf's statistical research focused on providing rigorous foundations for finite samples, addressing deficiencies in asymptotic justifications common in chi-square hypothesis testing. Collaborating with his brother Anders, he influenced developments in exponential families and the expectation-maximization method for handling missing data. His approach emphasized repetitive structures and category-theoretic methods for nested statistical models.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Logic and Philosophy
Since the late 1970s, his primary research focus shifted toward mathematical logic. He developed intuitionistic type theory, providing a constructive foundation for mathematics that has significantly impacted computer science. His philosophical work, influenced by Frege, Brentano, and Husserl, centers on the analysis of judgment and the philosophy of logical consequence. He held a joint chair for Mathematics and Philosophy at Stockholm University throughout his career.
Academic Recognition
Martin-Löf received his PhD from Stockholm University in 1970. His contributions to logic and philosophy were recognized with the 2020 Rolf Schock Prize. His broader academic standing is marked by memberships in the Royal Swedish Academy of Sciences and the Academia Europaea, as well as honorary doctorates from Leiden University and the University of the Mediterranean - Aix Marseille II, both awarded in 2004.
Fast facts
- Born: 1942, Stockholm, Sweden
- PhD: 1970, Stockholm University
- Doctoral Advisor: Andrei Kolmogorov
- Key Award: Rolf Schock Prize in Logic and Philosophy (2020)
- Professional Roles: Logician, philosopher, statistician, ornithologist
- Primary Employer: Stockholm University
- Languages: Swedish, English
- Scientific Membership: Royal Swedish Academy of Sciences
Questions readers ask
What is the Martin-Löf randomness definition?
It defines a random sequence as one that passes all computable tests for randomness, ensuring the sequence cannot be compressed by any algorithm.
Did Martin-Löf work exclusively in mathematics?
No, his professional life included significant work in philosophy and an ongoing, non-professional interest in ornithology and bird-watching.
What is his contribution to computer science?
His development of intuitionistic type theory provides a constructive framework for mathematics that serves as a foundation for various applications in computer science.
Achievements
- Rolf Schock Prize in Logic and Philosophy — 2020
- Held posts at Stockholm University
- Fields: mathematical logic
.jpg)
