佩尔·马丁-洛夫
维基百科,自由的 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)是斯德哥尔摩大学的数理统计学荣誉教授;两人曾在概率论和数理统计的研究上展开合作,其研究成果包括指数族非线性模型、最大期望算法和模型选择等,广泛地影响了统计学理论的发展。