图灵奖

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

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

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

Post模型在他1936年的论文"Finitecombinatoryprocesses—formulation1"（可以在TheUndecidable的289页找到它），EmilPost描述了非常简单的一个模型，它被猜测为"逻辑上等价于递归函数"，并且后来被证明确实如此。Post的模型采用了由"双向无限序列的空间或盒子"组成的"符号空间"，每个盒子能处于在两种可能状态中之一，也就是"有标记的"（一个竖线）和"无标记的"（空）。最初，有限多的盒子是有标记的，余下的是无标记的。接着一个"工人"在盒子间移动，一次只操作一个盒子，依据固定有限的"指令的集合"，它们编号为（1,2,3,...,n）。开始于"被挑选为起点的盒子&quo...

入围与得奖名单1990年代1992年－《美女与野兽》1993年－《阿拉丁》1994年－《狮子王》1995年－《风中奇缘》1996年－《玩具总动员》1997年－《CatsDon"tDance》1998年－《花木兰》1999年－《铁巨人》2000年代2000年－《玩具总动员2》2001年－《怪物史莱克》2002年－《千与千寻》2003年－《海底总动员》2004年－《超人特攻队》2005年－《超级无敌掌门狗：人兔的诅咒》2006年－《赛车总动员》2007年－《美食总动员》2008年－《功夫熊猫》2009年－《飞屋环游记》2010年代