佩尔·马丁-洛夫Per Martin-Löf:

出生: (1942-05-08) 1942年5月8日（81岁）瑞典斯德哥尔摩

国籍: 瑞典

母校:斯德哥尔摩大学

知名于:随机序列 精确检验 重复结构 充分统计量 最大期望算法 类型论

奖项:瑞典皇家科学院

科学生涯

研究领域:计算机科学逻辑数理统计学哲学

机构:斯德哥尔摩大学芝加哥大学奥胡斯大学

博士导师:安德雷·柯尔莫哥洛夫

佩尔·埃里克·罗格·马丁-洛夫（瑞典语：Per Erik Rutger Martin-Löf，1942年5月8日—），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。

佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前，他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。

他的长兄安德斯·马丁-洛夫（瑞典语：Anders Martin-Löf）是斯德哥尔摩大学的数理统计学荣誉教授；两人曾在概率论和数理统计的研究上展开合作，其研究成果包括指数族非线性模型、最大期望算法和模型选择等，广泛地影响了统计学理论的发展。

佩尔·马丁-洛夫还是一个业余的鸟类观测家，他发表的第一篇科学论文即是关于鸟类迁徙活动中存活率的统计学研究。