在计算中,人们试图在抽象层面描述事物(自然、大脑、动物、机器、人类)的运作,这与它们的构建方式无关。因此对于图灵来说,大脑的工作可以被描述为一个计算系统,使用算法和数据流入。系统的算法(或“软件”)是以机械、电子还是蜂窝形式(“硬件”)实现并不重要。图灵因此阐明了硬件、软件的区别,这是今天计算机科学中的关键思想。
1950年,图灵编写并出版了《曼彻斯特电子计算机程序员手册》(The Programmers’ Handbook for the Manchester Electronic Computer)。在这期间,他继续进行数理逻辑方面的理论研究,并提出了著名的“图灵测试”。
网友评论