保羅·伯奈斯
保羅·伯奈斯（，）瑞士数学家，在数理逻辑、公理化集合论和数学哲学领域作出了重大贡献，大卫·希尔伯特的助手及合作伙伴。 参考来源
标签：#集合論者
共 26 篇文章
伯特兰·罗素
第三代羅素伯爵伯特兰·亚瑟·威廉·罗素（，），英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。曾在剑桥大学三一学院担任哲学教授，他写了许多著作，其中包括经典著作《西方哲學史》。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1920年7月，罗素申請了一年假，前往中國和日本講學，对中国学术界有相当影响。1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最…
约翰·冯·诺伊曼
约翰·冯·诺伊曼（，），原名诺伊曼·亚诺什·拉约什（），出生於匈牙利的美國籍猶太人数学家，在泛函分析、遍历理论、几何学、拓扑学、数值分析等众多数学领域及電腦科學、量子力學、经济学中都有重大貢獻，被誉为“博弈论之父”、“计算机之父”。冯·诺伊曼从小就以过人的智力与记忆力而闻名。冯·诺伊曼一生中发表了約150篇论文，其中有60篇纯数学论文、20篇物理学、60篇应用数学论文。他最后的作品是一个未完成的手稿，后来以书名《计算机与人脑》（The …
米纳汉·马吉多
米纳汉·马吉多（，）是一位以色列数学家。他的主要研究方向是数理逻辑，特别是集合论。他曾担任耶路撒冷希伯来大学的校长。 简介 米纳汉·马吉多于1946年1月24日出生于佩塔提克瓦。他于1973年从希伯来大学毕业。毕业论文《关于超紧基数》是在阿兹里尔·乐维（Azriel Lévy）的指导下完成的。 数学成果 马吉多关于奇异基数的幂的相容性问题上证明了多个重要结果，并极大地推动了力迫法的发展。他推广了普利科里力迫法（Prikry forcin…
埃尔德什·帕尔
埃尔德什·帕尔（，；），英语名保罗·埃尔德什（）。匈牙利籍猶太人，發表論文高達1525篇（包括与人合寫的），為現時發表論文數最多的數學家（其次是歐拉）；曾和511人合寫論文。 生平 埃尔德什遺傳了來自數學教師父母優異的數學天賦，三歲時就能輕鬆心算一個人一生所活的秒數，並每日在客人面前表演四位數的乘法心算。他年僅二十一歲即被厄特沃什·羅蘭大學（即布達佩斯大學）授予數學博士學位，師從數學家費耶爾·利波特（他也是冯·诺伊曼的導師）。之後埃尔德…
斯坦尼斯瓦夫·乌拉姆
斯坦尼斯瓦夫·马尔钦·烏拉姆（，；），波蘭犹太裔數學家、核物理学家。他曾參與曼哈頓計劃，并与匈牙利犹太裔理论物理学家愛德華·泰勒一同发明了氢弹设计的泰勒-乌拉姆构型。他亦有參與研究核能推動的穿梭機。在純數學上，遍歷理論、數論、集合論和代數拓撲都有他的足跡。 生平 他生於奥匈帝国东部城市伦贝格（今乌克兰利沃夫）。其導師是斯特凡·巴拿赫。1938年他到了美國，先後在哈佛大學和威斯康辛大學麥迪遜分校工作。约翰·冯·诺伊曼邀請了他来參與在新墨西…
保罗·寇恩
保罗·约瑟夫·寇恩（，) 是一名美国数学家，他证明策梅洛-弗兰克尔公理系统加上选择公理（ZFC）不能反驳连续统假设（CH）的否命题，而ZF不能反驳选择公理 （AC）的否命题。这一划时代的工作与库尔特·哥德尔在1930年代的工作一起，证明了CH和AC分别独立于ZFC和ZF。寇恩在证明中创造了力迫法，如今力迫法已经成为公理集合论的一项基本技术。寇恩凭借连续统假设的独立性证明于1966年获得菲尔兹奖章。 早年经历 寇恩生于美国新泽西州的一个犹…
威拉德·范奥曼·蒯因
威拉德·范奥曼·蒯因（，；；又译奎因），20世纪最有影响的美国哲学家、逻辑学家之一。出生於俄亥俄州阿克倫的富裕家庭，其父為一成功的實業家，其母則任職教師。1926年入欧柏林学院，1930年得數學與哲學學士，1932即於哈佛大學取得哲學博士學位。蒯因在哈佛大學任教時為全校薪金最高的教職員。 概述 蒯因忠实地归属于分析哲学传统，尽管他是「哲学不是概念分析」的观点的主要支持者。蒯因用一生时间在他的母校哈佛大学教授哲学和数学，在那里他从1956…
库尔特·哥德尔
库尔特·弗雷德里希·哥德尔（，），出生於奧匈帝國的美国數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。哥德尔是二十世纪最伟大的逻辑学家之一，其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。 哥德爾1906年出生于捷克的布尔诺（原奥匈帝国），毕业于维也纳大学，1940年移民美国，任职于普林斯顿高等研究院（IAS）直至1976年退休。1978年，哥德爾于新泽西州的普林斯顿市去世。 生平 学术生涯 大學時，哥德爾曾參加…
格奥尔格·康托尔
格奥尔格·费迪南德·路德维希·菲利普·康托尔（，），出生于俄国的德国数学家。他创立了现代集合论，是實數系以至整个微积分理论体系的基础，還提出了势和良序概念的定義；康托爾確定了在兩個集合中的成員，其間一對一關係的重要性，定義了無限且有序的集合，並證明了實數比自然數更多。康托爾對這個定理所使用的證明方法，事實上暗示了“無限的無窮” 的存在。他定義了基數和序數及其算術。康托爾很清楚地自知自覺他的成果，富有極濃厚的哲學興趣。康托爾提出的超限數，…
保羅·哈爾莫斯
保羅·理察·哈爾莫斯（或，），匈牙利裔美國數學家，主要研究概率論（特別是遍歷理論）、統計學和泛函分析（特別是希爾伯特空間及算子理論）。 使用「iff」來表示「if and only if」（若且唯若）有時認為是哈爾莫斯的功勞，但哈爾莫斯說他只是借用的。 數學家之中，哈爾莫斯率先使用「∎」（墓碑符號）而非源自拉丁語的Q.E.D.來代表證明完畢。 生平 著作列表（書籍） 1942年 《有限維度的向量空間》 Finite-Dimensiona…
阿尔弗雷德·塔斯基
{{Infobox scientist | name = 阿尔弗雷德·塔斯基 Alfred Tarski | image = AlfredTarski1968.jpeg | caption = 攝於1968年 | birth_name = Alfred Teitelbaum | birth_date = | birth_place = 波蘭會議王國華沙 | death_date = | death_place = 美國加利福尼亞州柏克萊…
达纳·斯科特
达纳·斯图尔特·斯科特（，），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。 简介 斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆佐·邱奇，1958年取得博士学位。 他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学…
弗雷德里克·罗伯顿
**'（，）是一位英国逻辑学家和数学家，毕业于剑桥大学和威斯康星大学麦迪逊分校，后进入布里斯托尔大学任教，大基数领域中的罗伯顿基数以其姓氏命名。 参考文献 外部链接
拉斐爾·米切爾·羅賓遜
拉斐爾·米切爾·羅賓遜（，），美國數學家。 出生在加利福尼亞州納雄耐爾城，羅賓遜是律師和教師的四個孩子中最小的一個。 他獲得加利福尼亞大學伯克利分校的數學學位：文學學士（1932），文學碩士（1933）和博士學位。（1935年）。 發現梅森質數 從指數263開始到2304結束一直發現以來，他發現5個梅森質數，分別是M521、M607、M1279、M2203、M2281。 參見 梅森質數 外部链接 *
马克斯·奥古斯特·佐恩
马克斯·奥古斯特·佐恩（，，）是一名德國數學家。他是代數學家、群理論家和數值分析家。他最著名的是佐恩引理，這是集合論中的一種方法，適用於向量空間和有序集合等多種數學構造。佐恩引理最早由卡齊米日·庫拉托夫斯基於1922年提出，隨後由佐恩於1935年獨立提出。 生平 佐恩於1906年6月6日出生於德國克雷費爾德，曾就讀於漢堡大學。1930年4月，他因一篇關於交錯代數的論文獲得博士學位。他的研究成果發表在《》上。佐恩證明，可以用一種混合式矩陣…
费利克斯·伯恩斯坦
费利克斯·伯恩斯坦（，），20世纪犹太裔德国数学家，曾提出康托尔-伯恩斯坦-施罗德定理，并在ABO血型系统的发现过程中做出过重要的贡献。 费利克斯·伯恩斯坦生于德国哈雷，祖父为作家阿隆·伯恩施坦，父亲为生理学家尤里乌斯·伯恩施坦，卒于瑞士苏黎世。 参考资料 外部链接 *
恩斯特·策梅洛
恩斯特·弗里德里希·费迪南德·策梅洛（，，）是一名德國邏輯學家和數學家，他的工作對數學基礎產生了重大影響。他因在發展策梅洛-弗蘭克爾公理集合論和證明良序定理方面所起的作用而知名。此外，他在1929年發表的關於棋手排名的著作首次描述成對比較的模型，對使用這種方法的各個應用領域產生深遠的影響。 生平 1889年，他毕业于柏林Luisenstädtisches Gymnasium。他然后在柏林大学、哈雷-維滕貝格大學和弗莱堡大學研究数学、物理…
亚伯拉罕·弗兰克尔
亚伯拉罕·弗伦克尔（，，）是一位犹太裔德国数学家，策梅洛-弗兰克尔集合论的提出者之一，1956年获以色列奖。 参考文献 外部链接 *
卡齐米日·库拉托夫斯基
庫拉托夫斯基（，），波蘭數學家。 他主要研究點集拓撲學和集合論： 庫拉托夫斯基閉包公理 塔斯基–庫拉托夫斯基演算法 平面圖的庫拉托夫斯基定理 庫拉托夫斯基十四集問題 * 佐恩引理的證明 庫拉托夫斯基的父親是華沙的著名律師。當時華沙受俄羅斯統治，進入當地大學必須經過俄語的考試。庫氏沒有就讀俄語中學，決定到蘇格蘭學習工程。1913年10月，他進入了格拉斯哥大學，那年他得了班內的數學獎。1914年，他回到波蘭度假，不料第一次世界大戰暴發，他便…