胡 嵩

(华中师范大学 马克思主义学院，武汉 430070)



论图灵的可计算思想

胡 嵩

(华中师范大学 马克思主义学院，武汉 430070)

图灵的可计算思想有着深刻的思想渊源，莱布尼兹、弗雷格和哥德尔对于人工语言研究的发展皆对图灵的可计算思想有影响。图灵在《论可计算数在判决性问题中的应用》中提到图灵机和通用计算机两个抽象机器，并描述了两种机器的基本结构以及运行方式，其中，通用计算机是现代计算机的原型。图灵的可计算思想从根本上影响了冯·诺依曼，并使得冯·诺依曼建造出人类第一台计算机。图灵对于现代计算机以及机器思维方面的发展所做出的贡献是无法取代的。

可计算思想；图灵机；通用计算机；现代计算机；机器思维

图灵多数情况是因其论文被人提及，而他的名字与历史上3个大型计算机项目是密切相关的。第一个是巨人(Colossus)。第二次世界大战时，图灵打破了恩尼格码(Enigma，大西洋之战的一个决定性因素)的神话，他在布莱切利公园设计出了“bombe(一种高速破译德军密码的机器)”，从而破译出恩尼格码产生的大量军事密码。图灵与他同事的工作使得二战在欧洲战场的时间缩短至少两年[1]。二战结束后，图灵被英国的国家物理实验室(the National Physical Laboratory)招募，他不仅设计了电子数字计算机(通用图灵机的现实版本)，并对其发展做出了不可磨灭的贡献，他的设计(the Automatic Computing Engine的设计)相比于其他学者构建的更为先进。在等待工程师建造ACE的同时，图灵和他的团队开创了计算机程序科学的研究，为将要建造出的计算机写了大量复杂的数学程序。……