购买
下载掌阅APP,畅读海量书库
立即打开
畅读海量书库
扫码下载掌阅APP

1936年

图灵机设想提出

在计算机界,图灵是个如雷贯耳的名字,以他的姓氏命名的就有“图灵奖”、“图灵测试”、“图灵机”等。在图灵生活的时代,性能强大的计算机还未被制造出来,但他极富远见地提出了可计算理论,为后来计算机的发展竖立起了航标。因此,他的名字被后人永远铭记。图灵所构想的“图灵机”是怎样的一种机器?它与现代计算机又有怎样的关系?

图灵Ⓦ

图灵,英国数学家、逻辑学家。他1912年6月23日出生于伦敦近郊的帕丁顿镇。图灵的父亲是英国派驻殖民地印度的行政机构官员,所以图灵很少见到父母,他是由父母的好友沃德夫妇带大的。中学毕业后,图灵进入剑桥大学国王学院攻读数学。

1935年,图灵从数学课上得知了希尔伯特的可判定性问题。该问题可以简单描述为:是否存在一个能逐步解决所有数学问题的一般机械步骤?这里的“机械步骤”实际上就是现代“算法”的直观概念。1936年,图灵向权威杂志《伦敦数学会公报》投了一篇论文,题为《论可计算数及其在判定问题中的应用》,1937年,该论文正式发表。这篇论文被誉为现代计算机原理的开山之作。在这篇论文中,图灵给“可计算性”下了一个严格的数学定义,并提出了著名的“图灵机”设想。

图灵机模型Ⓞ

图灵的基本思想是用机器来模拟人用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:在纸上写上或擦除某个符号;把注意力从纸的一个位置移动到另一个位置。在每个阶段,下一步的动作都依赖于此人当前所关注的某个位置的符号,以及此人当前思维的状态。

为了模拟人的这种运算过程,图灵构造了一台假想的机器——“图灵机”。图灵机由一个带读写头的有限状态控制器和一条两端都可以无限延长的工作带组成。工作带被划分成一个个大小相同的方格,方格内记载着一系列符号。由于在计算机中一般采用二进制,这些符号由0和1两个数字构成。机器根据当前状态和读写头在工作带上读到的字符,来决定写入的字符、移动方向和下一个状态。只要有足够的时间(足够多的步数)和足够的空间(足够长的工作带),图灵机能够表示任何算法。

图灵青铜坐像Ⓞ

图灵机是最早给出的通用计算机的模型,它实际上是一种十分抽象的计算机结构,并不涉及这种机器如何实现与制造。图灵还从理论上证明了这种假想机的可能性。现代电子计算机其实就是一种通用图灵机的模拟,它能接受一段描述其他图灵机的程序,并运行程序以实现其所描述的算法。

图灵机虽然不是一台真正的机器,但它奠定了现代计算机的理论基础,指出了计算机的发展方向。图灵提出的计算机可以有智能的思想,又使他成为人工智能的奠基人。因此,图灵是举世公认的“计算机科学之父”和“人工智能之父”。

在图灵89岁诞辰那天,一尊真人大小的图灵青铜坐像在英国曼彻斯特的萨克维尔公园揭幕。手拿一个苹果的图灵安详地坐在一条长靠背椅上,似乎仍在思索着什么…… veJILTz6jx/6+Y678Sm+8oFrmydYCKmlmDejV32Km1PA7/NRSyxvM+oBF3e40R/v

点击中间区域
呼出菜单
上一章
目录
下一章
×