Per Martin-Löf

Summary

Per Martin-Löf is a human^[1]. His place of birth was Stockholm^[2]. He was born on +1942-05-08T00:00:00Z^[3]. He worked as an ornithologist^[4], philosopher^[5], statistician^[6], and university teacher^[7]. He ranks in the top 0.72% of human entities by monthly Wikipedia readership (112 views/month, #7,205 of 1,000,298).^[8]

Key Facts

• Per Martin-Löf's place of birth was Stockholm^[2].
• Per Martin-Löf was born on +1942-05-08T00:00:00Z^[3].
• A child of Per Martin-Löf was Cecilia Martin-Löf^[9].
• Per Martin-Löf held citizenship in Sweden^[10].
• Per Martin-Löf worked as an ornithologist^[4].
• Per Martin-Löf's professions included philosopher^[5].
• Per Martin-Löf's professions included statistician^[6].
• Per Martin-Löf worked as a university teacher^[7].
• Per Martin-Löf's field of work was mathematical logic^[11].
• Among Per Martin-Löf's employers was Stockholm University^[12].
• Per Martin-Löf was educated at Stockholm University^[13].
• Per Martin-Löf's doctoral advisor was Andrey Kolmogorov^[14].
• Per Martin-Löf received the Gödel Lecturer^[15].
• Per Martin-Löf received the Honorary doctor of Leiden University^[16].
• Per Martin-Löf received the Rolf Schock Prize in Logic and Philosophy^[17].
• Per Martin-Löf received the honorary doctorate of the University of the Mediterranean - Aix Marseille II^[18].
• Per Martin-Löf was a member of Academia Europaea^[19].
• Per Martin-Löf was a member of Royal Swedish Academy of Sciences^[20].
• Per Martin-Löf's image is recorded as Per MartinLoef.jpg^[21].
• Per Martin-Löf is recorded as male^[22].
• Per Martin-Löf's instance of is recorded as human^[23].
• Per Martin-Löf supervised Rolf Sundberg as a doctoral student^[24].
• Per Martin-Löf supervised Jan Smith as a doctoral student^[25].
• Per Martin-Löf supervised Aarne Ranta as a doctoral student^[26].
• Per Martin-Löf supervised Jesper Carlström as a doctoral student^[27].

Body

Origins and Family

Born in Stockholm^[2], Per Martin-Löf… he was born on +1942-05-08T00:00:00Z^[3].

Education

Per Martin-Löf was educated at Stockholm University^[13]. His doctoral advisor was Andrey Kolmogorov^[14].

Career and Affiliations

Recorded occupations include ornithologist^[4], philosopher^[5], statistician^[6], and university teacher^[7]. Per Martin-Löf's field of work was mathematical logic^[11]. Among his employers was Stockholm University^[12]. Doctoral students include Rolf Sundberg^[24], a statistician^[28], b. 1942^[29]; Jan Smith^[25]; Aarne Ranta^[26], a computer scientist^[30], b. 1963^[31], of Finland^[32]; Jesper Carlström^[27], of Sweden^[33]; Johan Georg Granström^[34], a mathematician^[35]; and Jens Brage^[36].

Recognition

Awards received include Gödel Lecturer^[15], an award^[37], founded in 1990^[38]; Honorary doctor of Leiden University^[16], an award^[39], in Netherlands^[40]; Rolf Schock Prize in Logic and Philosophy^[17], a Rolf Schock Prizes^[41]; and honorary doctorate of the University of the Mediterranean - Aix Marseille II^[18], an award^[42], in France^[43].

Personal Life

A child of Per Martin-Löf was Cecilia Martin-Löf^[9].

Works and Contributions

Things named for Per Martin-Löf include intuitionistic type theory^[44].

Why It Matters

Per Martin-Löf ranks in the top 0.72% of human entities by monthly Wikipedia readership (112 views/month, #7,205 of 1,000,298).^[8] He has Wikipedia articles in 10 language editions, a strong signal of global cultural recognition.^[45] He is known by 11 alternative names across languages and contexts.^[46]

Entities named for him include intuitionistic type theory^[44].

His notable doctoral advisees include Aarne Ranta^[47], a computer scientist^[48], b. 1963^[49], of Finland^[50].

FAQs

Where was Per Martin-Löf born?

Per Martin-Löf was born in Stockholm^[2].

What did Per Martin-Löf do for work?

Per Martin-Löf worked as ornithologist^[4], philosopher^[5], statistician^[6], and university teacher^[7].

Where did Per Martin-Löf go to school?

Per Martin-Löf was educated at Stockholm University^[13].

What awards did Per Martin-Löf receive?

Honors received include Gödel Lecturer^[15], Honorary doctor of Leiden University^[16], Rolf Schock Prize in Logic and Philosophy^[17], and honorary doctorate of the University of the Mediterranean - Aix Marseille II^[18].