办事指南

艾伦·图灵如何在人类思维中发现机器思维

点击量:   时间:2017-09-01 14:44:12

标记邓恩/ Alamy库存照片由乔纳森济慈在1935年,阿伦图灵通过包抄世界的主导的数学家开始建立名誉图灵年仅22岁,是剑桥的新人他的目标大卫希尔伯特是着名的哥廷根大学教授,他一手设定了20世纪数学的研究议程希尔伯特与英国新贵不相称在他的“图灵的愿景”一书中,克里斯·伯恩哈特巧妙地展示了图灵如何凭借精湛的证据破坏了希尔伯特的雄心壮志 - 在此过程中,他无意中发明了现代计算机图灵的论文题目“关于可计算数字,应用于Entscheidungsproblem”(意思是“决策问题”),很难引用,阅读它需要高级培训这可以解释为什么,随着图灵的名气爆炸,最流行的写作集中在他的战时密码破译,他的战后关于人工智能的写作 - 或他因为同性恋和遗腹皇室赦免而遭受迫害和起诉但是,伯恩哈特的书在戏剧中缺乏,它弥补了清晰的解释图灵的愿景让细心的读者欣赏图灵的名字,并作为奖励,了解现代计算机的基础知识 Entscheidungsproblem是希尔伯特的工作的一部分,表明数学的基本公理在逻辑上是一致的为此,希尔伯特寻求一种算法 - 一种计算程序 - 可以指示一个给定的数学陈述是否可以从这些公理单独证明图灵果断地表明没有这样的算法 “图灵证明了所有数学问题的解决方案都没有一套机械规则”为此,Bernhardt解释说,图灵必须首先为术语算法建立一个工作定义 - 来定义它的计算意义图灵看着人类的“计算机” - 那些进行计算的人他指出,任务涉及在纸上书写符号 “计算机在任何时刻的行为都是由符号决定的...他正在观察和他的'心态'”将明显复杂的思维分解为简单的算术程序,图灵使计算明确并消除了人的因素 “图灵的新见解是用理论计算机器来定义算法,”Bernhardt写道 “任何可以计算的东西都可以通过图灵机来计算”这就是为什么这些机器是图灵论文的核心为了表明存在算法,图灵机无限期地运行并且没有结果是显示希尔伯特错误的一种方式图灵证明“有些问题超出了算法的力量来回答”他的胜利是壮观的,对那些相信(如希尔伯特所做的)所有问题都可以解决的人来说是毁灭性的然而,与理论机器一样至关重要的是图灵的证明,他们证明了自己的权利更具影响力,为现代计算机提供了一个概念模型影响是直接的,通知John von Neumann 1945年开创的电子计算机设计,以及应用他的建筑的房间大小的机器与图灵的机器一样,计算机使用1和0来编码程序和数据这对于高级语言和网络仍然至关重要,因此在学习图灵机时,读者会学习计算机科学的原理今天也有哲学上的后果基于计算机的人类行为,图灵指出人们真的是图灵机计算机是我们的镜子:无论我们对最新的人工智能感到惊叹还是不寒而栗,我们只是在看自己图灵的愿景:计算机科学的诞生Chris Bernhardt麻省理工学院出版社本文以标题“我们图灵机器吗”的形式出现在印刷品上有关这些主题的更多信息: