图灵完全性

图灵奖获得者参见计算机科学计算机协会诺贝尔奖菲尔兹奖阿贝尔奖沃尔夫奖IEEE荣誉奖章日本国际奖高松宫殿下纪念世界文化奖京都奖邵逸夫奖唐奖搞笑诺贝尔奖

简介艾伦·麦席森·图灵（英语：AlanMathisonTuring，1912年6月23日—1954年6月7日），英国数学家、逻辑学家，被称为计算机科学之父，人工智能之父。1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，第二次世界大战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统Enigma，帮助盟军取得了二战的胜利。生平孩童和年轻时代图灵的父亲朱利斯·麦席森·图灵（JuliusMathisonTuring）是一名英属印度的公务员。1911年，图灵的母亲Ethel在印度的Chatrapur怀了孕。因为他们希望艾伦在英国出生，所以回到伦敦，住在帕丁顿（Paddington），并在那里生下了艾伦。父亲的公务员委任使他在艾伦小时候经常来往于英伦和印度。由于担心印度的气候不利于儿童成长，他便把家庭留在英伦与朋友同住。图灵很小的时候就表现出他的天才，后来就更加显著。他说他...

Post模型在他1936年的论文"Finitecombinatoryprocesses—formulation1"（可以在TheUndecidable的289页找到它），EmilP

图灵的基本思想图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程，他把这样的过程看作下列两种简单的动作：在纸上写上或擦除某个符号；把注意力从纸的一个位置移动到另一个位置；而在每个阶段，人要决定下一步的动作，依赖于（a）此人当前所关注的纸上某个位置的符号和（b）此人当前思维的状态。在某些模型中，纸带移动，而未用到的纸带真正是“空白”的。要进行的指令（q4）展示在扫描到方格之上（由Kleene（1952）p.375绘制）。在某些模型中，读写头沿着固定的纸带移动。要进行的指令（q1）展示在读写头内。在这种模型中“空白”的纸带是全部为0的。有阴影的方格，包括读写头扫描到的空白，标记了1,1,B的那些方格，和读写头符号，构成了系统状态。（由Minsky（1967）p.121绘制）为了模拟人的这种运算过程，图灵构造出一台假想的机器，该机器由以下几个部分组成：一条无限长的纸带TAPE。纸带被划分为

历史机器是否有可能思考这个问题历史悠久，这是二元并存理念和唯物论思想之间的区别。笛卡尔在1637年《谈谈方法》中预言图灵测试。笛卡尔指出，机器能够与人类互动，但认为这样的机器不能作出适当的反应，但是任何人都可以。因此，笛卡尔借此区分机器与人类。笛卡尔没有考虑到机器语言能力未来能够被克服。狄德罗设定图灵测试标准：“如果他们发现一只鹦鹉可以回答一切问题，我会毫不犹豫宣布它存在智慧。”这并不意味着他同意这一点，但它已经是唯物主义者当时普遍的说法。根据二元论者心态，心灵是非物理物质（最起码具有非物理性），因此，不能以纯物理来解释。根据唯物主义，头脑可以用物理解释，这让那些人工智能可能性产生。1936年，哲学家阿尔弗雷德·艾耶尔思考心灵哲学问题：我们怎么知道其他人曾有同样的体验。在《语言，真理与逻辑》中，艾尔建议有意识的人类及无意识的机器之间的区别。1956年达特茅斯会议之前，英国研究者已经探索十几...