图灵机和艾伦·图灵

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

图灵机和艾伦·图灵之间的区别

图灵机 vs. 艾伦·图灵

图灵机（），又称确定型图灵机，是英国数学家艾倫·图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。. 艾伦·麦席森·图灵，OBE，FRS（Alan Mathison Turing，又译阿兰·图灵，Turing也常翻譯成--林或者杜林，）是英国計算機科學家、数学家、邏輯學家、密码分析学家和理论生物学家，他被视为计算机科学與人工智慧之父。 在第二次世界大战期间，图灵曾在“政府密码学校”（GC&CS，今政府通信总部）工作。政府密码学校位于布萊切利園，是英国顶级机密情报机构。图灵在这里从事密码破译工作，有一段时间，他领导了（Hut 8）小组，负责德国海军密码分析。 期间他设计了一些加速破译德国密码的技术，包括改进波兰战前研制的机器，一种可以找到恩尼格玛密码机设置的机电机器。 图灵在破译截获的编码信息方面发挥了关键作用，使盟军能够在包括大西洋战役在内的许多重要交战中击败纳粹，并因此帮助赢得了战争。 图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为《》的论文，提問「机器会思考吗？」（Can Machines Think?），作為一种用于判定机器是否具有智能的测试方法，即图灵测试。至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。 图灵是著名的男同性恋者，并因为其性倾向而遭到当时的英国政府迫害，职业生涯尽毁。他亦患有花粉过敏症。 图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小時46分03秒（手動計時），比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次跨国赛跑比赛中，他跑赢了同年奥运会银牌得主。.

停机问题

停机问题（）是逻辑数学中可计算性理论的一个问题。通俗地说，停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。 艾伦·图灵在1936年用對角論證法证明了，不存在解决停机问题的通用算法。这个证明的关键在于对计算机和程序的数学定义，这被称为图灵机。停机问题在图灵机上是不可判定问题。这是最早提出的决定性问题之一。 用数学语言描述，则其本质问题为: 给定一个图灵机T，和一个任意语言集合S，是否T会最终停机于每一个 s \in S。其意义相同于可确定语言。显然任意有限 S 是可判定性的，可数的（countable）S 也是可停机的。 停机问题包含了自我指涉，本质是一阶逻辑的不自洽性和不完备性，类似的命题有理发师悖论、全能悖论等。.

停机问题和图灵机 · 停机问题和艾伦·图灵 · 查看更多 »

不可解度

不可解度，或图灵度，是数学逻辑的名词，尤其应用在可计算性理论中。.

不可解度和图灵机 · 不可解度和艾伦·图灵 · 查看更多 »

库尔特·哥德尔

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

图灵机和库尔特·哥德尔 · 库尔特·哥德尔和艾伦·图灵 · 查看更多 »

阿隆佐·邱奇

阿隆佐·邱奇（Alonzo Church，）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。.

图灵机和阿隆佐·邱奇 · 艾伦·图灵和阿隆佐·邱奇 · 查看更多 »

英国

大不列颠及北爱尔兰联合王国（United Kingdom of Great Britain and Northern Ireland），简称联合王国（United Kingdom，缩写作 UK）或不列颠（Britain），中文通称英国（中文世界早期亦称英联王国），是本土位於西歐並具有海外領地的主權國家，英國為世界七大國之一，位于欧洲大陆西北面，由大不列颠岛、爱尔兰岛东北部分及一系列较小岛屿共同组成。英国和另一国家唯一的陆上国境线位于北爱尔兰，和爱尔兰共和国相邻。英国由大西洋所环绕，东为北海，南为英吉利海峡，西南偏南为凯尔特海，同爱尔兰隔爱尔兰海相望。该国总面积达，为世界面积第80大的主权国家及欧洲面积第11大的主权国家，人口6510万，为全球第21名及歐洲第3名。 英国为君主立宪国家，采用议会制进行管辖。其首都伦敦为全球城市A++级别和国际金融中心，大都会区人口达1380万，为欧洲第三大和欧盟第一大。现在位英国君主为女王伊丽莎白二世，1952年2月6日即位。英国由四个构成国组成，分别为英格兰、苏格兰、威尔士和北爱尔兰，其中后三者在权力下放体系之下各自拥有一定的权力。三地首府分别为爱丁堡、加的夫和贝尔法斯特。附近的马恩岛、根西行政区及泽西行政区并非联合王国的一部分，而为王冠属地，英国政府负责其国防及外交事务。 英国的构成国之间的关系在历史上经历了一系列的发展。英格兰王国通过1535年和1542年的《联合法令》将威尔士纳入其领土范围。1707年的条约使英格兰和苏格兰王国联合成为大不列颠王国，而1801年后者则进一步同爱尔兰王国联合成为大不列颠及爱尔兰联合王国。1922年，爱尔兰的六分之五脱离联邦，由此便有了今日的大不列颠及北爱尔兰联合王国。大不列颠及北爱尔兰联合王国亦有14块海外领地，为往日帝国的遗留部分。大英帝国在1921年达到其巅峰，拥有全球22%的领土，是有史以来面积最大的帝国。英国在语言、文化和法律体系上对其前殖民地保留了一定的影响力，因而吸引許多以前英聯邦的移民前來居住。 英国为发达国家，以名义GDP为量度为世界第五大经济体，以购买力平价为量度为世界第九大经济体。英国同时还是世界首个工业化国家，在1815年-1914年为世界第一强国，现今仍是強國之一，在全球范围内的经济、文化、军事、科技和政治上有显著影响力。英国为国际公认的有核国家，其军事开支位列全球第五 (IISS)。自1946年以来，英国即为联合国安全理事会常任理事国，而自1973年以来即为欧洲联盟（EU）及其前身欧洲经济共同体（EEC）的成员国，同时还为英联邦、欧洲委员会、七国财长峰会、七国集团、二十国集团、北大西洋公约组织、经济合作与发展组织和世界贸易组织成员国。2016年英國脫離歐盟公投中，英国民众决定脱离欧盟，但因間接影響全球經濟，所以並未得到多數國家支持。.

图灵机和英国 · 艾伦·图灵和英国 · 查看更多 »

数学

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.

图灵机和数学 · 数学和艾伦·图灵 · 查看更多 »

数学家

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

图灵机和数学家 · 数学家和艾伦·图灵 · 查看更多 »