佩尔·马丁-洛夫 佩尔埃里克罗格马丁洛夫瑞典語Per Erik Rutger MartinLöf年月日瑞典逻辑学家数理统计学家和哲学家他以其在概率论基础方面的工作而闻名自世纪年代以后他的工作主要集中在逻辑学方面在哲学逻辑方面他的研究专注于蕴涵及判断学说并在一定程度上受到了弗朗兹布伦塔诺弗雷格和胡塞尔先前工作的影响在数理逻辑方面他致力于创设直觉类型论作为数学的构造性基础马丁洛夫在类型论方面的工作深深地影响了计算机科学尤其是后世编程语言理论的发展 佩尔马丁洛夫是斯德哥尔摩大学的校友直到年退休前他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务 他的长兄安德斯马丁洛夫瑞典語Anders MartinLöf是斯德哥尔摩大学的数理统计学荣誉教授两人曾在概率论和数理统计的研究上展开合作其研究成果包括指数族非线性模型最大期望算法和模型选择等广泛地影响了统计学理论的发展 佩尔马丁洛夫还是一个业余的鸟类观测家他发表的第一篇科学论文即是关于鸟类迁徙活动中存活率的统计学研究