2025-06-20 03:44来源:本站
图灵的理论机器变成了房间大小的现实 Mark Dunn / Alamy Stock Photontext="Article" data-image-id="2095242" data-caption="Turing’s theoretical machines were turned into room-sized reality" data-credit="Mark Dunn / Alamy Stock Photo" />
1935年,艾伦·图灵(Alan Turing)着手超越世界领先的数学家来建立声誉。图灵(Turing)今年22岁,是剑桥的新研究员。他的目标戴维·希尔伯特(David Hilbert)是戈丁根大学(Göttingen)的尊敬的大学教授,他单枪匹马地为20世纪的数学制定了研究议程。
ntext="Article" data-image-id="2095243" data-caption="" data-credit="" />
希尔伯特(Hilbert)与英国的新兴比赛无与伦比。在他的书中 图灵的愿景,克里斯·伯恩哈特(Chris Bernhardt)巧妙地展示了图灵(Turing)如何用精湛的证据破坏了希尔伯特(Hilbert)的一个伟大野心 - 在此过程中,他无意中发明了现代计算机。
图灵论文的标题“关于可计算的数字,并应用于 Entscheidungsproblem”(这意味着“决策问题”),几乎没有诱人,并且阅读它需要进行高级培训。这可以解释为什么图灵的名声爆炸,最受欢迎的写作着重于他的战时代码破解,战后他对人工智能的著作,或者他的迫害和起诉是同性恋和皇家皇家帕尔登。
但是伯恩哈特的书缺乏戏剧性,它弥补了清晰的解释。 图灵的愿景 允许仔细的读者欣赏说明图灵的名字,并作为奖励的证据,以了解现代计算机的基础知识。
这 Entscheidungsproblem 是希尔伯特(Hilbert)工作的一部分,以表明数学的基本公理在逻辑上是一致的。为此,希尔伯特(Hilbert)寻求一种算法(一种计算过程),该算法表明是否仅凭这些公理可以证明给定的数学陈述。图灵果断地表明没有这种算法。
为此,伯恩哈特(Bernhardt)解释说,图灵必须首先建立术语算法的工作定义,以定义计算的含义。图灵看着人类的“计算机” - 进行计算的人。他指出,任务涉及在纸上写符号。“计算机的行为随时取决于符号……他正在观察和“心态”。”
图灵将明显复杂的算术分解为简单的算术程序,使计算明确并消除了人类元素。伯恩哈特写道:“图灵的新见解是根据理论计算机定义算法。”“任何可以计算的东西都可以通过图灵计算机计算。”
这就是为什么这些机器是图灵纸的核心。为了表明有算法是图灵机将无限期运行,而不确定的方式是显示希尔伯特的一种方式。图灵证明了“有些问题超出了算法可以回答的力量”。他的胜利是壮观的,对那些相信所有问题的人都可以解决所有问题。
然而,就像理论机器对图灵的证明一样至关重要,它们对自己的权利产生了更大的影响,为现代计算机提供了概念模型。影响力是直接的,告知约翰·冯·诺伊曼(John von Neumann)的1945年电子计算机设计,以及应用其建筑的室友机器。像图灵的机器一样,计算机使用零来编码程序和数据。这对于高级语言和网络仍然是必不可少的,因此在学习图灵机时,读者掌握了计算机科学原理。
今天也有哲学上的影响。图灵(Turing)拥有基于人类行为的计算机,指出人们确实是图灵机器。计算机是我们的镜子:无论我们是在最新的AI上惊叹还是颤抖,我们都只是在看着自己。
这篇文章在标题下以“我们是图灵机?”的标题出现。
(*当您通过此页面上的链接购买时,我们可能会赚取一个小型佣金,但这在我们评论的内容或对此的看法中没有任何作用。)