Per Martin-Löf和佩尔·马丁-洛夫
快捷方式: 差异,相似,杰卡德相似系数,参考。
Per Martin-Löf和佩尔·马丁-洛夫之间的区别
Per Martin-Löf vs. 佩尔·马丁-洛夫
#重定向 佩尔·马丁-洛夫. 佩尔·埃里克·罗格·马丁-洛夫(Per Erik Rutger Martin-Löf,),瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后,他的工作主要集中在逻辑学方面。在哲学逻辑方面,他的研究专注于蕴涵及判断学说,并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响;在数理逻辑方面,他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前,他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。, Academia Europaea, retrieved 2014-01-26.
之间Per Martin-Löf和佩尔·马丁-洛夫相似
Per Martin-Löf和佩尔·马丁-洛夫有(在联盟百科)0共同点。
上面的列表回答下列问题
- 什么Per Martin-Löf和佩尔·马丁-洛夫的共同点。
- 什么是Per Martin-Löf和佩尔·马丁-洛夫之间的相似性
Per Martin-Löf和佩尔·马丁-洛夫之间的比较
Per Martin-Löf具有1的关系,而佩尔·马丁-洛夫有43个。由于它们的共同之处0,杰卡德指数为0.00% = 0 / (1 + 43)。
参考
本文介绍Per Martin-Löf和佩尔·马丁-洛夫之间的关系。要访问该信息提取每篇文章,请访问: