上一页

ⓘ 佩尔·马丁-洛夫




佩尔·马丁-洛夫
                                     

ⓘ 佩尔·马丁-洛夫

English version: Per Martin-Löf

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

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

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

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

                                     

1. 随机性和柯氏复杂性

在1964年到1965年间,马丁-洛夫曾在莫斯科大学学习,师从柯尔莫哥洛夫。在1966年发表的论文 On the definition of random sequences 中,他首次给出随机序列的确切定义。

早期的研究者如理查德 冯 米泽斯曾尝试形式化随机性测试的概念,用以定义一个可通过所有随机性测试的序列为随机序列;然而,随机性测试的确切概念仍未清晰。而马丁-洛夫的开创性地运用了计算理论来形式化定义随机性测试这一概念。该方法与概率论中对随机性的定义大异其趣;在概率论中,取样空间中任何一个特定的元素均不可能是随机的。

在马丁-洛夫工作的启发之下,后来的算法信息论将所谓" 随机字符串”定义为一个不能够被任何短于该字符串的计算机程序生成的字符串(蔡廷-柯尔莫哥洛夫随机性),即一个柯氏复杂性不小于自身长度的字符串。由于统计学上的随机性通常只关心产生字符串的过程,而算法随机性关心的是字符串的内在性质。由此,算法信息论第一次明确地将" 随机”和" 非随机”、藉由计算模型中的概念区分开了。

                                     

2. 数理统计学

马丁-洛夫在数理统计学领域的贡献主要涉及模型选择、指数族非线性模型和最大期望算法等。

                                     

3.1. 逻辑学 哲学逻辑学

在哲学逻辑方面,马丁-洛夫发表过关于蕴涵理论、判断学说等方面的著作。他的研究兴趣根植于中欧的哲学传统,尤其是德语学者如弗朗兹 布伦塔诺、弗雷格,以及胡塞尔的哲学理论。

                                     

3.2. 逻辑学 类型论

马丁-洛夫长期从事数理逻辑的研究。

在1968年到1969年间,他在美国芝加哥大学担任助理教授期间结识了逻辑学家威廉 霍华德(William Alvin Howard),并共同探讨了后来被称之为柯里-霍华德同构(Curry–Howard correspondence)的论题。马丁-洛夫在1971年完成了他最初的关于类型论研究的初稿,所提出的理论是非直谓性的,将吉拉德(Jean-Yves Girard)的系统F进行了一般化。然而,随后由于吉拉德在研究系统U之后发现了吉拉德悖论,导致该理论不再广泛适用。这激发了马丁-洛夫对于类型论哲学基础的研究。

马丁-洛夫开创的直觉类型论提出了依赖类型的概念,直接启发了构造演算(CoC)与LF逻辑框架的建立。一些流行的计算机证明系统和程序语言在此基础上得以开发,包括:Coq、Agda、NuPRL、LEGO、Twelf 和 Epigram等。

                                     

4. 荣誉

佩尔 马丁-洛夫是瑞典皇家科学院以及欧洲科学院(Academia Europaea)的院士。

                                     
  • 马丁 查 尔 菲 Martin Chalfie 1947年1月5日 美国科学家 因为发现和研究绿色荧光蛋白而获得了2008年的诺贝尔化学奖 查 尔 菲在芝加哥长大 是吉他手伊莱 查 尔 菲 1910 - 1996 和服装店主维维安 查 尔 菲 婚前姓Friedlen 1913 - 2005 的儿子 他的外祖父Meyer
  • 维莱 尔 圣 马丁 法語 Villers - Saint - Martin 是法国杜省的一个市镇 位于该省北部 属于贝桑松区 该市镇总面积8.9平方公里 2009年时的人口为213人 维莱 尔 圣 马丁 人口变化图示 杜省市镇列表 法国INSEE人口数据 - 2009年
  • 史蒂芬 葛倫 馬 丁 英語 Stephen Glenn Martin 1945年8月14日 暱稱史提 夫 馬 丁 Steve Martin 是一名美國電影男演員 喜劇演員 作家 劇作家 電影製作人 音樂家與作曲家 馬 丁 擅長一個人突然轉換聲音 學不同動物聲音 鳥類聲音口技 說話唱歌來神經搞笑 演過現代
  • 委员 亚历山大 利 洛夫 格里沙 菲利波 夫 Иван Михайлов 彭乔 库巴 丁 斯基 斯坦科 托多罗 夫 Тано Цолов 托多 尔 日 夫 科 夫 Цола Драгойчева 候补委员 委员 格里沙 菲利波 夫 多勃里 朱罗 夫 Огнян Дойнов 彭乔 库巴 丁 斯基 佩 特 尔 姆拉德诺 夫 斯坦科 托多罗 夫 托多尔 日夫科夫 Тодор
  • Wedgwood 奧諾雷 德 巴 爾 札克 阿 爾 伯特 卡 爾 希歐多 爾 羅伊斯 英语 Theodor Reuss 艾米 爾 唐提尼 英语 Émile Dantinne 赫 爾 曼 卡 爾 黑塞 阿諾德 勃克林 喬瑟 夫 佩 拉當 英语 Joséphin Péladan 阿希 爾 - 克勞德 德布西 愛迪 琵雅芙
  • 马丁 约翰 克里斯托弗 弗里曼 英語 Martin John Christopher Freeman 1971年9月8日 身高1.69米 英国男演員 於英國漢普郡奧 爾 德肖特 出生 其演艺生涯涉及電視劇 電影以及劇場等多个领域 马丁 约翰 克里斯托弗 弗里曼15岁时加入青年剧场 于1997年展开
  • 马丁 约翰 埃文斯爵士 英語 Sir Martin John Evans 1941年1月1日 英国科学家 2007年诺贝尔生理学或医学奖获得者之一 1963年畢業于劍橋大學並在1969於倫敦大學學院獲得博士學位 從事基因對肢體發展的控制 1981年在劍橋大學執教 和 馬 特 - 科 夫
  • 佩 卓 馬 丁 尼茲的後面 洛夫 以17勝7負的成績度過2003年的賽季 他也有參與紅襪隊後來的季後賽 雖然在季後賽中輸掉3場 但他還是有過1次救援成功的表現 2004年 洛夫 的投球質量下降 成績只達到14勝12負 但是 洛夫 還是有在季後賽得到上場的機會 巧合的是 洛夫

用户还搜索了:

...
...
...