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.