斯蒂芬·科尔·克莱尼和阿隆佐·邱奇

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

斯蒂芬·科尔·克莱尼和阿隆佐·邱奇之间的区别

斯蒂芬·科尔·克莱尼 vs. 阿隆佐·邱奇

斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，）美國數學家、逻辑學家，主要从事對可計算函數的研究，而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻，克莱尼層次結構、克莱尼代数、克莱尼星号（克莱尼閉包）、克莱尼遞歸定理和克莱尼不動點定理數學概念以他的名字命名。他也是正規表示法的發明者。. 阿隆佐·邱奇（Alonzo Church，）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。.

数学家

数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.

数学家和斯蒂芬·科尔·克莱尼 · 数学家和阿隆佐·邱奇 · 查看更多 »

普林斯顿大学

普林斯顿大学（Princeton University），又译普林斯敦大学，常被直接称为普林斯顿，是一所位於美国新泽西州普林斯顿的私立研究型大学，现为八所常春藤盟校之一。 普林斯顿历史悠久。它成立于1746年，是九所在美国革命前成立的殖民地学院之一，同时也是美国第四古老的高等教育机构。其在1747年移至纽瓦克，最终在1756年搬到了现在的普林斯顿，并于1896年正式改名为“普林斯顿大学”。虽然其旧校名是“新泽西学院”，但它与今天位于邻近的尤因镇（Ewing Township）的“新泽西学院”没有任何关联。此外虽然它最初是长老制的教育机构，但学校从没有跟任何宗教机构有直接的联系，而现在对学生亦无任何宗教上的要求。 普林斯顿现提供各种有关人文、自然科学、社会科学及工程学的本科及研究生课程；它并没有医学院、法学院、神学院及商学院，但能在政治及工程上提供专业课程。大学也与普林斯顿高等研究院及普林斯顿宗教学校有联谊。至今，已经有63位诺贝尔奖得主、17名美国国家科学奖章得主，14名菲尔兹奖得主，13名图灵奖得主，及3名美国国家人文奖章夺得人曾经或现为普林斯顿大学的毕业生或教职员。另外，普林斯顿也是获得最多捐款的学术机构之一。.

斯蒂芬·科尔·克莱尼和普林斯顿大学 · 普林斯顿大学和阿隆佐·邱奇 · 查看更多 »