删除199字节、
2020年6月29日 (一) 07:03 以下行是添加（+）和删除（-）的内容：
__INDEX__| |{| border="0" cellspacing="0" cellpadding="2" align="center" {| border="0" cellspacing="0" cellpadding="2" align="center"| style="width:5em" | | style="width:5em" |{| border="0" cellspacing="0" cellpadding="0" align="left" style="width:5em" {| border="0" cellspacing="0" cellpadding="0" align="left" style="width:5em"| '''中文名称''' | '''中文名称'''|} |}| style="width:20em" | | style="width:20em" |{| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em" {| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em"| '''[[图]][[灵]][[完]][[备]][[语]][[言]]''' | '''[[图]][[灵]][[完]][[备]][[语]][[言]]'''|} |}| style="width:5em" | | style="width:5em" |{| border="0" cellspacing="0" cellpadding="0" align="left" style="width:5em" {| border="0" cellspacing="0" cellpadding="0" align="left" style="width:5em"| '''语言特征''' | '''语言特征'''|} |}| |{| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em" {| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em"| 具有图灵完备性 | 具有图灵完备性|} |}|- |-| align="left" | '''汉语拼音''' | align="left" | '''汉语拼音'''| style="width:20em" | | style="width:20em" |{| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em" {| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em"| Túlíng Wánbèi Yǔyán | Túlíng Wánbèi Yǔyán|} |}| align="left" | '''包 括''' | align="left" | '''包 括'''| |{| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em" {| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em"| 过程式语言、面向对象语言、多范式语言、 | 过程式语言、面向对象语言、多范式语言、|} |}|- |-| align="left" | '''英文名称''' | align="left" | '''英文名称'''| |{| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em" {| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em"| '''[[Turing-complete language]]''' | '''[[Turing-complete language]]'''|} |}| || |{| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em" {| border="0" cellspacing="0" cellpadding="0" align="left" style="width:20em"| 深奥的语言等 | 深奥的语言等|} |}|} |}|} |}[[文件:EineBlume_{{PAGENAME}}.jpg|240px|thumb|right|link=用户:EineBlume|{{PAGENAME}}]][[文件:to_{{PAGENAME}}.jpg|240px|thumb|right|link=用户:EineBlume|{{PAGENAME}}]] 如果一个计算机语言具有图灵完备性（Turing Completeness），那么这个语言就是'''{{PAGENAME}}'''。 如果一个计算机语言具有[[图灵完备性]]（[[Turing completeness]]），那么这个语言就是'''{{PAGENAME}}'''（[[Turing-complete language]]）。[[文件:EineBlume_AlanTuring.jpg|200px|thumb|right|link=用户:EineBlume|艾伦·麦席森·图灵]][[文件:to_AlanTuring.jpg|200px|thumb|right|link=用户:EineBlume|艾伦·麦席森·图灵]] <span id="EineBlume_Return0102">'''[[艾伦·麦席森·图灵]]'''（'''[[Alan Mathison Turing]]'''，1912.6.23 - 1954.6.7），英国[[数学]]家、[[逻辑学]]家、密码学家和英国首位[[计算机科学]]家，被誉为计算机科学和[[人工智能]]之父。</span>[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_AlanTuring01] [{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_AlanTuring02] <span id="to_0102">'''[[艾伦·麦席森·图灵]]'''（'''[[Alan Mathison Turing]]'''，1912.6.23 - 1954.6.7），[{{SERVER}}/index.php/{{PAGENAME}}#to_AlanTuring01] 英国[[数学]]家、[[逻辑学]]家、密码学家和英国首位[[计算机科学]]家，被誉为计算机科学和[[人工智能]]之父。</span>[{{SERVER}}/index.php/{{PAGENAME}}#to_AlanTuring02] <span id="EineBlume_Return0304">他对计算机科学的发展有着很高的影响力，他用[[图灵机]]提供了算法和计算概念的形式化，图灵机可以被视为通用计算机的模型。他的图灵测试对人工智能的发展，作出了重要的、典型的、具挑战性的和持久的贡献。</span>[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_AlanTuring03] [{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_AlanTuring04] <span id="to_0304">他对计算机科学的发展有着很高的影响力，他用[[图灵机]]提供了算法和计算概念的形式化，[[图灵机]]可以被视为通用计算机的模型。[{{SERVER}}/index.php/{{PAGENAME}}#to_AlanTuring03] 他的图灵测试对人工智能的发展，作出了重要的、典型的、具挑战性的和持久的贡献。</span>[{{SERVER}}/index.php/{{PAGENAME}}#to_AlanTuring04] <span id="EineBlume_Return05">在 1928 年第八届[[国际数学家大会]]上，德国数学家[[希尔伯特]]（David Hilbert，1862 - 1943）提出了关于数学的三个精辟问题：</span>[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_TuringMachine01] <span id="to_05">在 1928 年第八届[[国际数学家大会]]上，德国数学家[[希尔伯特]]（David Hilbert，1862 - 1943）提出了关于数学的三个精辟问题：</span>[{{SERVER}}/index.php/{{PAGENAME}}#to_TuringMachine01]::*First, was mathematics complete ...（数学是完备的吗？）::*First, was mathematics complete …（数学是完备的吗？）::*Second, was mathematics consistent ...（数学是一致的吗？）::*Second, was mathematics consistent …（数学是一致的吗？）[[文件:EineBlume_TuringMachine.jpg|200px|thumb|right|link=用户:EineBlume|图灵机的模型]][[文件:to_TuringMachine.jpg|200px|thumb|right|link=用户:EineBlume|图灵机的模型]] <span id="EineBlume_Return06">希尔伯特的第三个问题又被称为判定性问题（Entscheidungsproblem）。为了证否这个[[命题]]，1936 年，图灵发表了一篇论文，题为《论可计算数，及其在判定性问题上的应用》（''On Computable Numbers, with an Application to the Entscheidungsproblem''）。在这篇论文里，图灵提出了一种假设的计算装置，他称之为 A-Machine（Automatic Machine，自动机器），这就是'''图灵机'''。</span>[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_TuringMachine02] <span id="to_06">希尔伯特的第三个问题又被称为判定性问题（Entscheidungsproblem）。为了证否这个[[命题]]，1936 年，图灵发表了一篇论文，题为《论可计算数，及其在判定性问题上的应用》（''On Computable Numbers, with an Application to the Entscheidungsproblem''）。在这篇论文里，图灵提出了一种假设的计算装置，他称之为 '''A-Machine'''（Automatic Machine，自动机器），这就是'''[[图灵机]]'''（[[Turing machine]]）。</span>[{{SERVER}}/index.php/{{PAGENAME}}#to_TuringMachine02] <span id="EineBlume_Return07">1938 年，在美国[[普林斯顿大学]]攻读博士学位的图灵，发表了一篇博士论文，题为《基于序数的逻辑系统》（''Systems of Logic Based on Ordinals''）。在这篇论文里，图灵定义了'''可计算函数'''：</span>[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_ComputableFunction01] <span id="to_07">1938 年，在美国[[普林斯顿大学]]攻读博士学位的图灵，发表了一篇博士论文，题为《基于序数的逻辑系统》（''Systems of Logic Based on Ordinals''）。在这篇论文里，图灵定义了'''[[可计算函数]]'''（[[Computable function]]）：</span>[{{SERVER}}/index.php/{{PAGENAME}}#to_ComputableFunction01] <span id="EineBlume_Return08">在作为特定计算模型的图灵机上产生的可计算函数，就被称为'''图灵可计算函数'''。</span>[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_ComputableFunction02] <span id="to_08">在作为特定计算模型的[[图灵机]]上产生的[[可计算函数]]，就被称为'''图灵可计算函数'''。</span>[{{SERVER}}/index.php/{{PAGENAME}}#to_ComputableFunction02] <span id="EineBlume_Return09">如果一个计算系统可以计算每一个图灵可计算函数，那么这个系统就是图灵完备的；或者说，这个系统可以模拟通用图灵机。</span>[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_TuringCompleteness01] <span id="to_09">如果一个计算系统可以计算每一个图灵可计算函数，那么这个系统就是图灵完备的；或者说，这个系统可以模拟通用图灵机。</span>[{{SERVER}}/index.php/{{PAGENAME}}#to_TuringCompleteness01] 图灵完备性也可以用来描述计算机语言的计算能力。 [[图灵完备性]]也可以用来描述计算机语言的计算能力。 <span id="EineBlume_Return10">具有图灵完备性的计算机语言，就被称为'''{{PAGENAME}}'''。绝大多数的编程语言，都是{{PAGENAME}}。这包括：</span>[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_TuringCompleteness02] <span id="to_10">具有图灵完备性的计算机语言，就被称为'''{{PAGENAME}}'''。绝大多数的编程语言，都是{{PAGENAME}}。这包括：</span>[{{SERVER}}/index.php/{{PAGENAME}}#to_TuringCompleteness02]::**深奥的语言，一种奇特的数学娱乐形式，程序员用极其困难但数学上图灵等价的语言来实现基本的编程结构。::**深奥的语言（Esoteric programming language），一种奇特的数学娱乐形式，程序员用极其困难但数学上图灵等价的语言来实现基本的编程结构。 <span id="EineBlume_Return11">并非所有的计算机语言都是图灵完备的，例如标记语言，或者更恰当地称为“容器语言”或“数据描述语言”，就不是图灵完备的。</span>[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_TuringCompleteness03] <span id="to_11">并非所有的计算机语言都是图灵完备的，例如标记语言，或者更恰当地称为“容器语言”或“数据描述语言”，就不是图灵完备的。</span>[{{SERVER}}/index.php/{{PAGENAME}}#to_TuringCompleteness03]#<span id="EineBlume_AlanTuring01">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return0102 ⇧]} [https://infogalactic.com/info/Alan_Turing Alan Turing - Infogalactic]</span>#<span id="to_AlanTuring01">{[{{SERVER}}/index.php/{{PAGENAME}}#to_0102 ⇧]} [https://infogalactic.com/info/Alan_Turing Alan Turing - Infogalactic]</span>#<span id="EineBlume_AlanTuring02">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return0102 ⇧]} [https://songshuhui.net/archives/71141 艾伦·图灵——如谜的解谜者 - 科学松鼠会]</span>#<span id="to_AlanTuring02">{[{{SERVER}}/index.php/{{PAGENAME}}#to_0102 ⇧]} [https://songshuhui.net/archives/71141 艾伦·图灵——如谜的解谜者 - 科学松鼠会]</span>#<span id="EineBlume_AlanTuring03">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return0304 ⇧]} [https://www.thepaper.cn/newsDetail_forward_1779739 148 封图灵文件重现，称自己厌恶美国 - 澎湃新闻]</span>#<span id="to_AlanTuring03">{[{{SERVER}}/index.php/{{PAGENAME}}#to_0304 ⇧]} [https://www.thepaper.cn/newsDetail_forward_1779739 148 封图灵文件重现 - 澎湃新闻]</span>#<span id="EineBlume_AlanTuring04">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return0304 ⇧]} [https://www.thepaper.cn/newsDetail_forward_3923657 “人工智能之父”图灵登上 50 英镑纸钞 - 澎湃新闻]</span>#<span id="to_AlanTuring04">{[{{SERVER}}/index.php/{{PAGENAME}}#to_0304 ⇧]} [https://www.thepaper.cn/newsDetail_forward_3923657 “人工智能之父”图灵登上 50 英镑纸钞 - 澎湃新闻]</span>#<span id="EineBlume_TuringMachine01">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return05 ⇧]} [https://songshuhui.net/archives/70194 计算的极限（零）：逻辑与图灵机 - 科学松鼠会]</span>#<span id="to_TuringMachine01">{[{{SERVER}}/index.php/{{PAGENAME}}#to_05 ⇧]} [https://songshuhui.net/archives/70194 计算的极限（零）：逻辑与图灵机 - 科学松鼠会]</span>#<span id="EineBlume_TuringMachine02">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return06 ⇧]} [https://infogalactic.com/info/Turing_machine Turing machine - Infogalactic]</span>#<span id="to_TuringMachine02">{[{{SERVER}}/index.php/{{PAGENAME}}#to_06 ⇧]} [https://infogalactic.com/info/Turing_machine Turing machine - Infogalactic]</span>#<span id="EineBlume_ComputableFunction01">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return07 ⇧]} [https://infogalactic.com/info/Turing_machine#Alan_Turing.27s_a-_.28automatic-.29machine Alan Turing's a-(automatic-)machine - Infogalactic]</span>#<span id="to_ComputableFunction01">{[{{SERVER}}/index.php/{{PAGENAME}}#to_07 ⇧]} [https://infogalactic.com/info/Turing_machine#Alan_Turing.27s_a-_.28automatic-.29machine Alan Turing's a-(automatic-)machine - Infogalactic]</span>#<span id="EineBlume_ComputableFunction02">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return08 ⇧]} [https://infogalactic.com/info/Computable_function Computable function - Infogalactic]</span>#<span id="to_ComputableFunction02">{[{{SERVER}}/index.php/{{PAGENAME}}#to_08 ⇧]} [https://infogalactic.com/info/Computable_function Computable function - Infogalactic]</span>#<span id="EineBlume_TuringCompleteness01">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return09 ⇧]} [https://infogalactic.com/info/Turing_completeness Turing completeness - Infogalactic]</span>#<span id="to_TuringCompleteness01">{[{{SERVER}}/index.php/{{PAGENAME}}#to_09 ⇧]} [https://infogalactic.com/info/Turing_completeness Turing completeness - Infogalactic]</span>#<span id="EineBlume_TuringCompleteness02">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return10 ⇧]} [https://infogalactic.com/info/Turing_completeness#Examples Examples - Infogalactic]</span>#<span id="to_TuringCompleteness02">{[{{SERVER}}/index.php/{{PAGENAME}}#to_10 ⇧]} [https://infogalactic.com/info/Turing_completeness#Examples Examples - Infogalactic]</span>#<span id="EineBlume_TuringCompleteness03">{[{{SERVER}}/index.php/{{PAGENAME}}#EineBlume_Return11 ⇧]} [https://infogalactic.com/info/Turing_completeness#Non-Turing-complete_languages Non-Turing-complete languages - Infogalactic]</span>#<span id="to_TuringCompleteness03">{[{{SERVER}}/index.php/{{PAGENAME}}#to_11 ⇧]} [https://infogalactic.com/info/Turing_completeness#Non-Turing-complete_languages Non-Turing-complete languages - Infogalactic]</span>