比浏览器更快的访问！
15 关系: 加利福尼亚大学洛杉矶分校，华盛顿哥伦比亚特区，可计算函数，奧斯瓦爾德·維布倫，一阶逻辑，俄亥俄州，哈德遜 (俄亥俄州)，算法，美国，高阶逻辑，邱奇-图灵论题，艾伦·图灵，数学，数学家，普林斯顿大学。
加利福尼亚大学洛杉矶分校
加利福尼亚大学洛杉矶分校（University of California, Los Angeles），簡稱加州大学洛杉矶分校（UCLA），是一所位于美国加利福尼亚州洛杉矶的公立研究型大学，创办于1919年，是加利福尼亚大学系统中的第二所大学，目前擁有约30,000名本科生与12,000名研究生，提供包括学士、硕士与博士在内331种不同的学位课程（其中学士学位124个；硕士学位98个；博士以及专业学位共109个）。UCLA是全美国申请人数最多的学校，2015年，有超过112,000人申请入学UCLA，是全美录取率最低的公立大学之一。 UCLA是美國享譽盛名的高等学府，在各种大学排名中均有驕人成绩。洛杉矶加州大学先後共有24名校友、教授和研究人员获得诺贝尔奖。洛加大同时也因其学生在奥林匹克运动会中取得的优异成绩而闻名于世。.
新！!: 阿隆佐·邱奇和加利福尼亚大学洛杉矶分校 · 查看更多 »
华盛顿哥伦比亚特区
华盛顿哥倫比亞特區（Washington, D.C.），是美国的首都，原稱哥伦比亚特区（District of Columbia，缩写为 D.C.），以及簡稱華盛頓（Washington）、特區（the District）等。中文通常簡稱華府。华盛顿哥伦比亚特区是大多數美国聯邦政府機關、與的所在地，也是世界银行、國際貨幣基金、美洲国家组织等国际组织总部的所在地，並擁有為數眾多的博物館與文化史蹟。哥伦比亚特区是美国最富裕、財富高度集中的地区；該地區2015年的人均生产总值爲181,185美元，冠绝全美。 1776年美國獨立時的首都是費城，之後因獨立戰爭和國家新立而屢有變遷，到1785年開始紐約被定為美國的首都。1790年7月1日，国会通过《》，决定将首都从纽约迁至波多马克河和安那考斯迪亚河汇合处附近；但完成正式遷都前先由費城暫代首都。1800年，美國聯邦政府部門從權充十年首都的費城遷往建設完成的華盛頓，華盛頓開始作為美國首都正式運作至今。华盛顿哥伦比亚特区实际上是由美国国会直接管辖的聯邦地區，因此不屬於美国的任何州份。 华盛顿哥伦比亚特区位於美國東岸的中大西洋地區，屬马里兰州和弗吉尼亚州的交界处，兩州界河波多马克河由西北向東南流貫特區，形成特区西面的天然界限。成立之初，哥伦比亚特区是一个边长10英里（16公里）的長方形区域，不仅包括了特区现在的全部范围，还包括波多马克河西岸弗吉尼亚州亚历山德里亚县，即今日的阿灵顿县以及亚历山德里亚市。特区成立后不久，西岸的居民就因为国会过度重视东岸以及蓄奴等问题，发起了回归弗吉尼亚的运动，經他们多次请愿，美国国会于1846年7月9日通过法案，并经弗吉尼亚人民大会批准，将波多马克河南岸的土地交还弗吉尼亚。特區設立早期，波多马克河北岸有喬治城鎮、华盛顿市及华盛顿县三個分開的行政區劃；其中建立於1791年的华盛顿市乃為彰顯喬治·華盛頓對美國建國的貢獻而命名，後來發展為特區中的核心城市。依據一項1871年的立法，前述三區於1878年合并为华盛顿市，而聯邦管轄的特區及華盛頓市地方政府從此轄區重疊，因此產生今日使用的「华盛顿哥伦比亚特区」合稱。.
新！!: 阿隆佐·邱奇和华盛顿哥伦比亚特区 · 查看更多 »
可计算函数
在可计算性理论中，可计算函数（computable function）或图灵可计算函数是研究的基本对象。它们使我们直觉上的算法概念更加精确。使用可计算函数来讨论可计算性而不提及任何具体的计算模型，如图灵机或寄存器机。但是它们的定义必须提及某种特殊的计算模型。 在可计算函数的精确定义之前，数学家经常使用非正式术语可有效计算的。这个术语因此可以被认同为可计算函数。尽管这些函数被叫做有效的，它们可能极其困难。可行可计算性和计算复杂性研究可有效计算的函数。 依据邱奇-图灵论题，可计算函数精确的是使用给出无限数量的时间和存储空间的机器计算设备来计算的函数。等价的说，这个论题声称有算法的任何函数都是可计算的。 可以使用Blum公理来在可计算函数的集合上定义抽象计算复杂性理论。在计算复杂性理论中，确定一个可计算函数的复杂性的问题叫做功能性问题。.
新！!: 阿隆佐·邱奇和可计算函数 · 查看更多 »
奧斯瓦爾德·維布倫
奧斯瓦爾德·維布倫（Oswald Veblen，），美國數學家、幾何學家暨拓撲學家，他的研究應用在原子物理學和相對論。他在1905年證明了若爾當曲線定理。.
新！!: 阿隆佐·邱奇和奧斯瓦爾德·維布倫 · 查看更多 »
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
新！!: 阿隆佐·邱奇和一阶逻辑 · 查看更多 »
俄亥俄州
俄亥俄州（State of Ohio）位于美國中东部，是五大湖地区的组成部分。俄亥俄州处于美国文化和地理的交叉口，州民来自新英格兰、美国中部、阿巴拉契亚和美国上南部等地区。 俄亥俄州是第一个依據《西北法令》加入聯邦的州，邮政编码“OH”（以前為“O”）。“俄亥俄”来源于当地土著易洛魁族语，意为“美好之河（Beautiful River）”。 为了表达敬意，美國海軍以“俄亥俄”命名過多艘軍艦。.
新！!: 阿隆佐·邱奇和俄亥俄州 · 查看更多 »
哈德遜 (俄亥俄州)
哈德遜（Hudson, Ohio）是美國俄亥俄州薩米特縣的一個城市。面積67.0平方公里。根據2000年美國人口普查，人口22,439人。.
新！!: 阿隆佐·邱奇和哈德遜 (俄亥俄州) · 查看更多 »
算法
-- 算法（algorithm），在數學（算學）和電腦科學之中，為任何良定义的具體計算步驟的一个序列，常用於計算、和自動推理。精確而言，算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算，當其時能從一個初始狀態和初始輸入（可能爲空）開始，經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法，包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。.
美国
美利堅合眾國（United States of America，簡稱为 United States、America、The States，縮寫为 U.S.A.、U.S.），通稱美國，是由其下轄50个州、華盛頓哥倫比亞特區、五个自治领土及外岛共同組成的聯邦共和国。美國本土48州和联邦特区位於北美洲中部，東臨大西洋，西臨太平洋，北面是加拿大，南部和墨西哥及墨西哥灣接壤，本土位於溫帶、副熱帶地區。阿拉斯加州位於北美大陸西北方，東部為加拿大，西隔白令海峽和俄羅斯相望；夏威夷州則是太平洋中部的群島。美國在加勒比海和太平洋還擁有多處境外領土和島嶼地區。此外，美國还在全球140多個國家和地區擁有着374個海外軍事基地。 美国拥有982萬平方公里国土面积，位居世界第三（依陆地面積定義为第四大国）；同时拥有接近超过3.3億人口，為世界第三人口大国。因为有着來自世界各地的大量移民，它是世界上民族和文化最多元的國家之一Adams, J.Q.; Strother-Adams, Pearlie (2001).
高阶逻辑
在数学中，高阶逻辑在很多方面有别于一阶逻辑。 其一是变量类型出现在量化中；粗略的说，一阶逻辑中禁止量化谓词。允许这么做的系统请参见二阶逻辑。 高阶逻辑区别于一阶逻辑的其他方式是在构造中允许下层的类型论。高阶谓词是接受其他谓词作为参数的谓词。一般的，阶为n的高阶谓词接受一个或多个（n − 1）阶的谓词作为参数，这里的n > 1。对高阶函数类似的评述也成立。 高阶逻辑更加富有表达力，但是它们的性质，特别是有关模型论的，使它们对很多应用不能表现良好。作为哥德尔的结论，经典高阶逻辑不容许（递归的公理化的）可靠的和完备的证明演算；这个缺陷可以通过使用Henkin模型来修补。 高阶逻辑的一个实例是构造演算。.
新！!: 阿隆佐·邱奇和高阶逻辑 · 查看更多 »
邱奇-图灵论题
#重定向 邱奇－图灵论题.
新！!: 阿隆佐·邱奇和邱奇-图灵论题 · 查看更多 »
艾伦·图灵
艾伦·麦席森·图灵，OBE，FRS（Alan Mathison Turing，又译阿兰·图灵，Turing也常翻譯成--林或者杜林，）是英国計算機科學家、数学家、邏輯學家、密码分析学家和理论生物学家，他被视为计算机科学與人工智慧之父。 在第二次世界大战期间，图灵曾在“政府密码学校”（GC&CS，今政府通信总部）工作。政府密码学校位于布萊切利園，是英国顶级机密情报机构。图灵在这里从事密码破译工作，有一段时间，他领导了（Hut 8）小组，负责德国海军密码分析。 期间他设计了一些加速破译德国密码的技术，包括改进波兰战前研制的机器，一种可以找到恩尼格玛密码机设置的机电机器。 图灵在破译截获的编码信息方面发挥了关键作用，使盟军能够在包括大西洋战役在内的许多重要交战中击败纳粹，并因此帮助赢得了战争。 图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为《》的论文，提問「机器会思考吗？」（Can Machines Think?），作為一种用于判定机器是否具有智能的测试方法，即图灵测试。至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。 图灵是著名的男同性恋者，并因为其性倾向而遭到当时的英国政府迫害，职业生涯尽毁。他亦患有花粉过敏症。 图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小時46分03秒（手動計時），比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次跨国赛跑比赛中，他跑赢了同年奥运会银牌得主。.
新！!: 阿隆佐·邱奇和艾伦·图灵 · 查看更多 »
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
新！!: 阿隆佐·邱奇和数学家 · 查看更多 »
普林斯顿大学
普林斯顿大学（Princeton University），又译普林斯敦大学，常被直接称为普林斯顿，是一所位於美国新泽西州普林斯顿的私立研究型大学，现为八所常春藤盟校之一。 普林斯顿历史悠久。它成立于1746年，是九所在美国革命前成立的殖民地学院之一，同时也是美国第四古老的高等教育机构。其在1747年移至纽瓦克，最终在1756年搬到了现在的普林斯顿，并于1896年正式改名为“普林斯顿大学”。虽然其旧校名是“新泽西学院”，但它与今天位于邻近的尤因镇（Ewing Township）的“新泽西学院”没有任何关联。此外虽然它最初是长老制的教育机构，但学校从没有跟任何宗教机构有直接的联系，而现在对学生亦无任何宗教上的要求。 普林斯顿现提供各种有关人文、自然科学、社会科学及工程学的本科及研究生课程；它并没有医学院、法学院、神学院及商学院，但能在政治及工程上提供专业课程。大学也与普林斯顿高等研究院及普林斯顿宗教学校有联谊。至今，已经有63位诺贝尔奖得主、17名美国国家科学奖章得主，14名菲尔兹奖得主，13名图灵奖得主，及3名美国国家人文奖章夺得人曾经或现为普林斯顿大学的毕业生或教职员。另外，普林斯顿也是获得最多捐款的学术机构之一。.
新！!: 阿隆佐·邱奇和普林斯顿大学 · 查看更多 »
