Per Martin-Löf

Summary

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

Key Facts

• Per Martin-Löf's place of birth was Jakob parish^[2].
• Per Martin-Löf was born on May 8, 1942^[3].
• A child of Per Martin-Löf was Cecilia Martin-Löf^[10].
• Per Martin-Löf held citizenship in Sweden^[11].
• 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 worked as a logician^[8].
• Per Martin-Löf's field of work was mathematical logic^[12].
• Per Martin-Löf was employed by Stockholm University^[13].
• Per Martin-Löf's education included a stint at Stockholm University^[14].
• Per Martin-Löf's doctoral advisor was Andrey Kolmogorov^[15].
• Per Martin-Löf received the Gödel Lecturer^[16].
• Per Martin-Löf received the Honorary doctor of Leiden University^[17].
• Per Martin-Löf received the Rolf Schock Prize in Logic and Philosophy^[18].
• Per Martin-Löf received the honorary doctorate of the University of the Mediterranean - Aix Marseille II^[19].
• Per Martin-Löf was a member of Academia Europaea^[20].
• Per Martin-Löf was a member of Royal Swedish Academy of Sciences^[21].
• Per Martin-Löf was a member of Scandinavian Logic Society^[22].
• Per Martin-Löf is recorded as male^[23].
• Per Martin-Löf's instance of is recorded as human^[24].
• Per Martin-Löf supervised Rolf Sundberg as a doctoral student^[25].
• Per Martin-Löf supervised Jan Smith as a doctoral student^[26].
• Per Martin-Löf supervised Aarne Ranta as a doctoral student^[27].

Body

Origins and Family

Born in Jakob parish^[2], Per Martin-Löf… he was born on May 8, 1942^[3].

Education

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

Career and Affiliations

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

Recognition

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

Personal Life

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

Works and Contributions

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

Why It Matters

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

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

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

FAQs

Where was Per Martin-Löf born?

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

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

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

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

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

What awards did Per Martin-Löf receive?

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