佩爾·馬丁-洛夫
維基百科,自由的 encyclopedia
佩爾·埃里克·羅格·馬丁-洛夫(瑞典語:Per Erik Rutger Martin-Löf,1942年5月8日—),瑞典邏輯學家、數理統計學家和哲學家。他以其在概率論基礎方面的工作而聞名。自20世紀70年代以後,他的工作主要集中在邏輯學方面。在哲學邏輯方面,他的研究專注於蘊涵及判斷學說,並在一定程度上受到了弗朗茲·布倫塔諾、弗雷格和胡塞爾先前工作的影響;在數理邏輯方面,他致力於創設直覺類型論作為數學的構造性基礎。馬丁-洛夫在類型論方面的工作深深地影響了計算機科學、尤其是後世程式語言理論的發展。[1]
Quick Facts 佩爾·馬丁-洛夫Per Martin-Löf, 出生 ...
佩爾·馬丁-洛夫 Per Martin-Löf | |
---|---|
馬丁-洛夫(2004年) | |
出生 | (1942-05-08) 1942年5月8日(81歲) 瑞典斯德哥爾摩 |
國籍 | 瑞典 |
母校 | 斯德哥爾摩大學 |
知名於 | 隨機序列 精確檢驗 重複結構 充分統計量 最大期望算法 類型論 |
獎項 | 瑞典皇家科學院 |
科學生涯 | |
研究領域 | 計算機科學 邏輯 數理統計學 哲學 |
機構 | 斯德哥爾摩大學 芝加哥大學 奧胡斯大學 |
博士導師 | 安德雷·柯爾莫哥洛夫 |
Close
佩爾·馬丁-洛夫是斯德哥爾摩大學的校友。直到2009年退休前[2],他一直擔任斯德哥爾摩大學的數學和哲學學院的聯合主席這一職務。[3]
他的長兄安德斯·馬丁-洛夫(瑞典語:Anders Martin-Löf)是斯德哥爾摩大學的數理統計學榮譽教授;兩人曾在概率論和數理統計的研究上展開合作,其研究成果包括指數族非線性模型、最大期望算法和模型選擇等,廣泛地影響了統計學理論的發展。