数学原理和逻辑学家

快捷方式: 差异，相似，杰卡德相似系数，参考。

数学原理和逻辑学家之间的区别

数学原理 vs. 逻辑学家

《数学原理》（Principia Mathematica）是由伯特兰·罗素与他的老师阿尔弗雷德·诺思·怀特黑德合著的一本数学书籍，书籍共分三卷，分别出版于1910年，1912年，1913年。 它通常缩写為PM (Principia Mathematica)，企图表述所有数学真理在一组数理逻辑內的公理和推理规则下，原则上都是可以证明的。因此这一雄心勃勃的项目對於数学史和哲学史都是非常重要的，然而在1931年，哥德尔不完备性定理证明對於数学原理或其他任何類似的尝试，这个崇高的目标皆永远无法达到; 也就是说，任何尝试以一组公理和推理规则來建立的数学系統，若非不一致，便是不完備 (即存在一些数学真理不能由此系統推导出來)。 数学原理的一个主要的灵感和动机来自于逻辑学家戈特洛布·弗雷格的工作,但伯特兰·罗素发现其允许建设有矛盾的集合（罗素悖论）。数学原理排除无限制创建任意的集合來试图避免这个问题,它以不同“类型”的集合來取代一般的集合,一组特定类型的集合只能包含套較低的类型。然而在当代数学,會使用如Zermelo-Fraenkel的集合理论体系,來避免如罗素的笨拙方式,。 现代图书馆它排在二十世纪英文非小说书籍中的第23名。. 逻辑学家是学术研究主题为逻辑学的哲学家，数学家或其他人。下面按姓氏的英语的字母顺序列出著名的逻辑学家。.

库尔特·哥德尔

库尔特·弗雷德里希·哥德尔（Kurt Friedrich Gödel，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。.

库尔特·哥德尔和数学原理 · 库尔特·哥德尔和逻辑学家 · 查看更多 »

伯特兰·罗素

伯特兰·亚瑟·威廉·罗素，第三代羅素伯爵（Bertrand Arthur William Russell, 3rd Earl Russell，），OM，FRS，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最勇敢的君子，卓越的活力，勇氣，智慧與感受性，代表了諾貝爾獎的原意和精神”。 1921年罗素曾於中国讲学，对中国学术界有相当影响。.

伯特兰·罗素和数学原理 · 伯特兰·罗素和逻辑学家 · 查看更多 »

路德维希·维特根斯坦

路德维希‧約瑟夫‧約翰‧维特根斯坦（Ludwig Josef Johann Wittgenstein，又譯维特根施泰因、維根斯坦；）是一名奧地利哲學家。他生于奥地利，后入英国籍。维特根斯坦是20世纪最有影响力的哲学家之一，其研究领域主要在语言哲学、心靈哲学和数学哲学等方面。1939年至1947年，任教於剑桥大学三一學院。Dennett, Daniel.

数学原理和路德维希·维特根斯坦 · 路德维希·维特根斯坦和逻辑学家 · 查看更多 »

戈特洛布·弗雷格

弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。.

戈特洛布·弗雷格和数学原理 · 戈特洛布·弗雷格和逻辑学家 · 查看更多 »

斯蒂芬·科尔·克莱尼

斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，）美國數學家、逻辑學家，主要从事對可計算函數的研究，而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻，克莱尼層次結構、克莱尼代数、克莱尼星号（克莱尼閉包）、克莱尼遞歸定理和克莱尼不動點定理數學概念以他的名字命名。他也是正規表示法的發明者。.

数学原理和斯蒂芬·科尔·克莱尼 · 斯蒂芬·科尔·克莱尼和逻辑学家 · 查看更多 »