佩尔·马丁-洛夫（Per Martin-Löf）的第一篇科学出版物涉及环志鸟类的死亡率，这是他终身对统计学和鸟类学兴趣的早期交集。他于1942年出生于斯德哥尔摩，职业生涯涵盖数理逻辑、哲学和概率论，直到2009年退休前，他一直是瑞典学术体系内的活跃研究者。
随机性的基础
20世纪60年代中期，马丁-洛夫在莫斯科安德烈·柯尔莫哥洛夫（Andrei Kolmogorov）的指导下攻读博士学位。1966年，他通过应用计算理论定义随机性测试，发表了一种关于随机序列的权威方法。这项工作将算法随机性与统计概率分离开来，确立了随机字符串是具有高柯尔莫哥洛夫复杂性的字符串，使其无法被比序列本身更短的计算机程序所压缩。
统计理论与有限样本
马丁-洛夫的大部分统计学研究集中于为有限样本提供严谨的基础，解决了卡方假设检验中常见的渐近证明缺陷。通过与他的兄弟安德斯（Anders）合作，他影响了指数族的发展以及处理缺失数据的期望最大化方法。他的方法强调了嵌套统计模型的重复结构和范畴论方法。
逻辑与哲学
自20世纪70年代末以来，他的主要研究重点转向数理逻辑。他开发了直觉主义类型论，为数学提供了一个建设性的基础，这对计算机科学产生了重大影响。受弗雷格、布伦塔诺和胡塞尔影响，他的哲学工作集中于判断分析和逻辑推论哲学。在他的整个职业生涯中，他一直担任斯德哥尔摩大学数学与哲学联合教授。
学术认可
马丁-洛夫于1970年获得斯德哥尔摩大学博士学位。他对逻辑和哲学的贡献获得了2020年罗尔夫·肖克奖（Rolf Schock Prize）的认可。他更广泛的学术地位体现在他是瑞典皇家科学院和欧洲科学院的成员，以及2004年获得的莱顿大学和地中海大学（艾克斯-马赛第二大学）荣誉博士学位。
基本信息
- 出生：1942年，瑞典斯德哥尔摩 - 博士学位：1970年，斯德哥尔摩大学 - 博士导师：安德烈·柯尔莫哥洛夫 - 主要奖项：罗尔夫·肖克逻辑与哲学奖（2020年） - 职业角色：逻辑学家、哲学家、统计学家、鸟类学家 - 主要雇主：斯德哥尔摩大学 - 语言：瑞典语、英语 - 学术成员：瑞典皇家科学院
读者常见问题
### 什么是马丁-洛夫随机性定义？
它将随机序列定义为通过所有可计算随机性测试的序列，确保该序列不能被任何算法压缩。
### 马丁-洛夫是否只从事数学工作？
不，他的职业生涯包括哲学方面的重要工作，以及对鸟类学和观鸟的持续非职业兴趣。
### 他对计算机科学有什么贡献？
他开发的直觉主义类型论为数学提供了一个建设性的框架，作为计算机科学中各种应用的基础。
.jpg)
