Per Martin-Löf
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 83 |
| Date of birth | May 8,1942 |
| Zodiac sign | Taurus |
| Born | Stockholm |
| Sweden | |
| Books | Intuitionistic Type Theory |
| Siblings | Anders Martin-Löf |
| Job | Logician |
| Education | Stockholm University |
| Academic advisor | Andrey Kolmogorov |
| Notable student | Aarne Ranta |
| Awards | Gödel Lecture |
| Rolf Schock Prizes | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2532609 |
Per Martin-Löf Life story
Per Erik Rutger Martin-Löf 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.