佩尔·马丁-洛夫
佩尔·埃里克·罗格·马丁-洛夫（，），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是…
标签：#瑞典统计学家
共 4 篇文章
莱昂纳特·律恩
莱昂纳特·律恩（，），瑞典林雪平大学控制理论教授。他以系统辨识方面的开创性研究而闻名，被认为是控制理论领域的领军人物。 教育 莱昂纳特·律恩就读于隆德大学。他在1967年获得俄语语言和数学学士学位，于1970年获工程物理学硕士学位，并于1974年获得控制理论博士学位。 背景、现任任命和科学贡献 莱昂纳特·律恩于1974年至1975年在斯坦福大学担任研究助理，并于1975年至1976年担任隆德大学控制理论副教授。之后于1976年被选为林雪…
哈拉尔德·克拉梅尔
哈拉尔德·克拉梅尔（，）是瑞典数学家、精算師和统计学家，专研数学统计学。克拉梅尔也从统计学方面有杰出贡献於素数和孪生素数的分佈问题。形容他是「統計理論的巨人之一」。 参见 克拉梅尔猜想 外部链接 [https://web.archive.org/web/20070312074246/http://owpdb.mfo.de:4579/person_detail?id=745 photographs of Harald Cramér] at…
卡尔·沙利叶
的沙利叶之墓]] 卡尔·威廉·路德维希·沙利叶（，）或译沙利耶，是一位瑞典天文学家。 职业生涯 1862年4月1日，沙利叶在厄斯特松德出世。1887年在乌普萨拉大学取得博士学位，先后在该大学和斯德哥尔摩天文台工作过，是一名天文学教授。1897年起担任瑞典隆德大学天文台台长。 他曾对银河系中的恒星及其位置和运动进行了广泛的统计研究，并尝试在此基础上开发一种星系模型。他还提出了兆天文单位（100万倍地日间距离，地球到天狼星距离的2倍，约15…