佩尔·马丁-洛夫
佩尔·埃里克·罗格·马丁-洛夫（，），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是…
标签：#瑞典逻辑学家
共 2 篇文章
罗夫·肖克
罗夫·肖克（；）是一名出生于法国卡普达伊的瑞典裔美国哲学家、艺术家。 生平 肖克出生在法属里维埃拉的卡普达伊。他的父母来自德国，他们和肖克一起前往美国定居。肖克在新墨西哥大学获得了地质学学士学位。于1955年获得文学学士学位后，他于1956至1960年间先后在在加州大学伯克利分校和加州大学洛杉矶分校攻读哲学和逻辑，并之后前往瑞典斯德哥尔摩，在斯德哥尔摩大学专攻理论哲学，尤其自由逻辑。他在1964年获得了中级研究生学位以及哲学博士学位。 …