佩爾·馬丁-洛夫

佩爾 · 埃裏克 · 羅格 · 馬丁 - 洛夫  ， 瑞典邏輯學家 、 數理統計學家和哲學家 。 他以其在概率論基礎方面的工作而聞名 。 自20世紀70年代以後 ， 他的工作主要集中在邏輯學方面 。 在哲學邏輯方面 ， 他的研究專注於蘊涵及判斷學說 ， 並在一定程度上受到了弗朗茲 · 布倫塔諾 、 弗雷格和胡塞爾先前工作的影響 ； 在數理邏輯方面 ， 他致力於創設直覺類型論作爲數學的構造性基礎 。 馬丁 - 洛夫在類型論方面的工作深深地影響了計算機科學 、 尤其是後世編程語言理論的發展 。 佩爾 · 馬丁 - 洛夫是斯德哥爾摩大學的校友 。 直到2009年退休前 ， 他一直擔任斯德哥爾摩大學的數學和哲學學院的聯合主席這一職務 。 他的長兄安德斯 · 馬丁 - 洛夫  是斯德哥爾摩大學的數理統計學榮譽教授 ； 兩人曾在概率論和數理統計的研究上展開合作 ， 其研究成果包括指數族非線性模型 、 最大期望算法和模型選擇等 ， 廣泛地影響了統計學理論的發展 。 佩爾 · 馬丁 - 洛夫還是一個業餘的鳥類觀測家 ， 他發表的第一篇科學論文即是關於鳥類遷徙活動中存活率的統計學研究 。