Per Martin-Löf
(1942-)
Swedish logician, philosopher, and mathematical statistician
About
Jump to
Per Erik Rutger Martin-Löf (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.
Key details
edit section
| Born |
8 May 1942 (age 83) Stockholm, Sweden
|
| Zodiac | Taurus |
| Tags | Add tag |
Partner
Family members
Romantic interests
Friends & associates
Scholars
Please be the first to contribute to this page!
Missing information for Per Martin-Löf
- missing gender
- missing height
- missing hair color
- missing eye color
- missing ethnicity
- add banner photo
- add photos to gallery
- missing current partner
Similar profiles
10
Activity
Top contributors today
Be the first to contribute today
Tags
Featured contributors
Couples by country
USA · UK · Canada · Australia · France · Germany · India · China · South Korea · Japan · Spain · MexicoCouples by decade
1900s · 1910s · 1920s · 1930s · 1940s · 1950s · 1960s · 1970s · 1980s · 1990s · 2000s · 2010s · 2020sADVERTISEMENT
ADVERTISEMENT
