保羅·伯奈斯
保羅·伯奈斯（，）瑞士数学家，在数理逻辑、公理化集合论和数学哲学领域作出了重大贡献，大卫·希尔伯特的助手及合作伙伴。 参考来源
标签：#数理逻辑学家
共 13 篇文章
海倫娜·拉西奧娃
海倫娜·拉西奧瓦（，）是一名波蘭數學家。她的研究領域涵蓋數學基礎與代數邏輯。 早年生活 拉西奧娃於1917年6月20日出生於維也納，父母皆為波蘭人。1918年波蘭重獲獨立後，全家便定居華沙。海倫娜的父親是一名鐵路專家。她展現出多方面的才能與興趣，從音樂到企業管理，以及她最熱衷的數學。 1938年，那時並非進入大學的理想時機。拉西奧娃不得不中斷學業，因為1939年後在波蘭已無法接受法律教育。許多人逃離了這個國家，或者至少逃離了大城市——這…
乔治·布尔
{{Infobox Philosopher |name = 喬治·布爾 George Boole |region = 西方哲学 |era = 19世纪哲学 |color = #B0C4D |image_name = 乔治·布尔.jpg |image_size = 235px |image_caption = 创作于1860年代 |birth_date = |birth_place = 英國英格蘭林肯郡林肯 |death_date = |…
莫绍揆
莫绍揆（），生于广西桂平，卒于江苏南京。数理逻辑学家，中国数理逻辑教育和研究的开拓者之一，南京大学数学系教授。 生平 莫绍揆，字非斯，1917年8月13日生于广西省桂平县油麻乡大中村，三岁丧慈母。1930年入广州广雅中学，1935年考入中央大学数学系。1939年毕业于中央大学理学院数学系，随后在中央大学留校任助教两年，1941年转中山大学做数学系讲师，1944年两广沦陷时曾到玉林中学任英语讲师，1945年抗战胜利回中央大学做讲师。 19…
斯蒂芬·科尔·克莱尼
斯蒂芬·科尔·克莱尼（，）是一名美國數學家、逻辑學家，主要从事對可計算函數的研究，而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻，克莱尼層次結構、克莱尼代数、克莱尼星号（克莱尼閉包）、克莱尼遞歸定理和克莱尼不動點定理數學概念以他的名字命名。他也是正規表示法的發明者。 生平 斯蒂芬·科尔·克莱尼出生於美國康涅狄克州的哈特福德。他的父親古斯塔夫·克莱尼（Gustav Adolph Kleene）是一位經…
达纳·斯科特
达纳·斯图尔特·斯科特（，），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。 简介 斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆佐·邱奇，1958年取得博士学位。 他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学…
讓-伊夫·貝齊奧
讓-伊夫·貝齊奧（，）是一位法国数学家，逻辑学家。 生平 出生於法國奥尔良，是巴西研究協會（Brazilian Research Council - CNPq）的教授和研究員，目前任教於巴西里约热内卢联邦大学。貝齊奧是法國和瑞士兩國的公民。他對於英語，和葡萄牙語精通的程度就如同他的母語法語一樣，他同時也使用這三種語言發表多篇學術文章。 貝齊奧的老師是知名邏輯學家，Newton da Costa，他們倆位也時常進行合作。貝齊奧特別主要的研…
恩斯特·策梅洛
恩斯特·弗里德里希·费迪南德·策梅洛（，，）是一名德國邏輯學家和數學家，他的工作對數學基礎產生了重大影響。他因在發展策梅洛-弗蘭克爾公理集合論和證明良序定理方面所起的作用而知名。此外，他在1929年發表的關於棋手排名的著作首次描述成對比較的模型，對使用這種方法的各個應用領域產生深遠的影響。 生平 1889年，他毕业于柏林Luisenstädtisches Gymnasium。他然后在柏林大学、哈雷-維滕貝格大學和弗莱堡大學研究数学、物理…
摩西·瓦尔迪
摩西·雅科夫·瓦尔迪（，）是一位以色列数学家和计算机科学家。他是美国萊斯大學计算工程系凯伦·奥斯特鲁姆·乔治杰出服务教授。 和肯尼迪研究所的教员顾问。 他的兴趣集中在逻辑在计算机科学中的应用，包括数据库理论、有限模型理论、多智能体系统知识、计算机辅助验证和推理，以及跨课程的逻辑教学。他是模型检查、约束满足和数据库理论、常识（逻辑）和理论计算机科学方面的专家。 瓦尔迪撰写或合著了 600 多篇技术论文 ，并编辑了多本论文集。他与Ronal…
艾胡德·赫魯紹夫斯基
艾胡德·赫魯紹夫斯基（；）是一個數理邏輯學家。 現為英國牛津大學默頓數理邏輯講座教授及牛津大學默頓學院院士。 他亦兼任耶路撒冷希伯來大學數學教授。 早年生活和教育 其父（; 1928–2015），是诗人和翻译家，在耶鲁大学和臺拉維夫大學担任比较文学教授，通晓意第绪语和希伯来语。 1986年，赫鲁绍夫斯基获加利福尼亞大學柏克萊分校博士学位，其研究论文为《对稳定模型理论的贡献》（Contributions to Stable Model T…
佩尔·马丁-洛夫
佩尔·埃里克·罗格·马丁-洛夫（，），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是…
所罗门·费弗曼
所罗门·费弗曼（，）是一位美国哲学家和数学家，专攻数理逻辑，2003年获肖克獎。 参考文献 外部链接 * [https://web.archive.org/web/20171024072327/http://math.stanford.edu/~feferman Solomon Feferman official website] (via Internet Archive) at Stanford University
勒伊岑·布劳威尔
勒伊岑·埃赫贝特斯·扬·布劳威尔（，），多写作L·E·J·布劳威尔（），昵称贝尔特斯（），是一位荷兰数学家和哲学家。他是数学直觉主义流派的创始人，也在拓扑学、集合论、测度论和复分析领域有很多贡献。 生平 布劳威尔生于南荷兰省的Overschie（今鹿特丹郊区），16岁进入阿姆斯特丹大学学习物理学。1904年获得硕士学位。三年后他从Diederik Johannes Korteweg门下取得博士学位毕业。布劳威尔的早期兴趣主要在于拓扑学和…