雅克·埃尔布朗
雅克·埃尔布朗（，）是一位法国数学家。 生平 1908年出生于巴黎。毕业于巴黎高等师范学校学习，21岁获博士学位，后出国到德国游学。游学期间与冯·诺伊曼、阿廷、诺特等人相识。1931年夏在阿尔卑斯山爬山时，不幸遇险身亡，年仅23岁。 埃尔布朗的主要贡献在数理逻辑和类域论，发明了递归函数。他建立的埃尔布朗定理是量化理论的一个基本命题，已成为机器证明的基础。在近世代数方面，他发表了十几篇有关类域论的论文，丰富了代数数域的阿贝尔扩张理论。 参…
标签：#证明论学家
共 4 篇文章
保罗·洛伦岑
保罗·洛伦岑（，）是一位德国哲学家和数学家，博弈语义的发明者之一，埃尔朗根学派的建立者之一。 参考文献 外部链接 [https://web.archive.org/web/20060320163246/http://dispatch.opac.ddb.de/DB=4.1/REL?PPN=11857437X Books from and about Lorenzen at Deutsche National Bibliothek]
托马斯·斯坎伦
托马斯·麥可·斯坎伦（英文：Thomas Michael Scanlon，）是一位美国伦理学家及政治哲学家。 生平 他本科毕业于普林斯顿大学，后于哈佛大学获得哲学博士学位。期间曾以福布莱特学者身份旅英一年，就读于牛津大学。1966年至1984年，斯坎伦任教于普林斯顿大学哲学系。自1984年起，斯坎伦任教于哈佛大学哲学系。 斯坎伦著有《我们彼此负有什么义务》、《宽容之难》、《Being Realistic about Reasons》等书…
竹内外史
竹内外史（, ）是一位日本数学家，主要研究证明论。 生平 1926年出生于日本石川县，1947年获得东京大学学士学位，师从弥永昌吉。之后留校任教，1962年担任东京教育大学教授。1966年担任伊利諾大學厄巴納-香檳分校教授。曾分别于1959-1960年、1966-1968年、1971-1972年担任普林斯顿高等研究院研究员。 参考来源 外部链接 [https://kgs.logic.at/organization/our-preside…