阿兰·图灵：从“可计算数”到通用计算机，一个人如何为数字时代奠基-北京尧图网络

一、一个被冯·诺依曼本人否认的“误会”“计算机之父”这个头衔通常被安在冯·诺依曼头上。但曾担任冯·诺依曼助手的美国学者弗兰克尔写过一段耐人寻味的话许多人都推举冯·诺依曼为“计算机之父”然而他本人从来不会认可这个说法。冯·诺依曼曾多次强调如果不考虑巴贝奇等人早先提出的概念计算机的基本概念属于图灵。这个判断并非客套。1936年24岁的图灵发表《论可计算数及其在判定问题中的应用》用一台想象中的“纸带机器”回答了希尔伯特判定问题——不存在一种通用算法能判定任意数学命题的真假。这台“纸带机器”就是后来所说的图灵机。同一年丘奇用λ演算独立得出了等价结论但图灵的路径不同他不是从逻辑形式系统出发而是从“人如何机械地执行计算”出发构造了一个可操作的抽象模型。这个差别至关重要。丘奇证明的是一条逻辑定理图灵给出的是一台机器。它由三部分构成一条可向两端无限延伸的存储带分成方格存储字符一个可左右移动、逐格读写的读写头以及一个具有有限内部状态的控制器根据当前状态和读到的字符决定下一步动作。图灵机不是物理机器而是一种思想模型但它足以严格定义“可计算性”一个函数是可计算的当且仅当存在一台图灵机能计算它。更关键的一步是通用图灵机。图灵证明可以构造一台特殊的图灵机它把任何其他图灵机的描述作为输入然后模拟那台机器的行为。换句话说一台机器可以完成所有可计算的任务。这个结论在1936年只是一条数学定理但它直接预告了存储程序计算机的逻辑本质。二、从纸带机器到ACE一次“凭空出现”的工程设计1945年二战结束后图灵进入英国国家物理实验室NPL。1946年3月他提交了一份题为《数学分部自动计算引擎ACE发展建议》的报告。这份报告在今天看来近乎不可思议。当时图灵在公众视野中并不出名只是在理论数学的小圈子里因判定问题的独立解答而被知晓。但他交出的不是一份概念草图而是一份完整的存储程序电子计算机设计基本原理、体系结构、指令集、所有重要电路的电路图、若干软件示例以及精确到11,200英镑的预算估算大约是他当时薪水的二十倍。唯一缺少的是接线表和机械图纸。图灵明确写道ACE在逻辑上等价于通用图灵机。这不是事后附会而是设计时有意识的对应。CERN的研究者后来在一篇分析ACE设计的论文中指出ACE上的“死循环”本质上就是一台计算机在试图计算一个不可计算的数——图灵1936年的不可判定性结果在1946年的工程蓝图中获得了物理形态。ACE的设计与冯·诺依曼的EDVAC报告有明显差异。图灵看过EDVAC草案但ACE的体系结构和实现路径是独立的。Pilot ACE后来于1950年在NPL建成是英国最早运行的存储程序计算机之一。但英国工业界并没有在这条起跑线上持续发力这是另一个值得单独讨论的话题。无论如何图灵在1946年做的事情是把“通用计算”从一个数学证明推进到了一张可以照着施工的工程蓝图。三、图灵测试不是“机器能否思考”而是“你能否分辨”1950年图灵在《Mind》杂志发表《计算机器与智能》Computing Machinery and Intelligence开篇提出的问题是“机器能思考吗”但他随即承认“思考”这个词太日常、太含混无法作为严格的讨论起点。于是他把问题替换掉了。他设计了一个模仿游戏测试者通过文本终端当时设想的是电传设备与两个不可见的对象对话一个是人一个是机器。如果测试者无法以稳定的准确率分辨出哪个是机器那么这台机器就在操作意义上展示了智能。图灵给出的具体判据在不同场合略有出入。1952年BBC广播中他的说法是如果不足70%的裁判判断正确也就是超过30%的裁判误以为在和人说话的是人就算成功。他还有一个更常被引用的预测到2000年左右一台存储容量约10GB的计算机应该能在5分钟的问答中骗过30%的成年人。这个判据的精妙之处在于它把“智能”从内在意识问题转换成了可观察行为问题。图灵不是不知道哲学家会反对——他在论文中逐一回应了九类质疑包括来自哥德尔定理的“数学异议”、来自意识的“唯我论异议”等。他的策略不是证明机器有意识而是指出如果一台机器在行为上与人不可区分我们就没有理由在“智能”这件事上对它采取双重标准。图灵测试不是人工智能的终点后来塞尔的中文屋论证、德雷福斯的具身性质疑都构成了有力批评。但它作为一个可操作、可复现、可比较的判定框架为人工智能提供了一个世纪级的公共议题我们到底用什么标准来判断一个系统“像人一样”四、战争、定罪与迟到六十年的赦免图灵最广为人知的一段经历不在论文里在布莱切利园。二战期间他在英国政府密码学校参与破译德军Enigma密码机的工作。Enigma的加密强度依赖于转子位置和接线板的组合人工穷举几乎不可能。图灵在波兰密码学家早期工作的基础上设计了一种机电式密码分析装置——“Bombe”“炸弹机”。它不是“第一台军用计算机”那么简单的一句话可以概括的而是一台针对Enigma特定弱点设计的逻辑搜索机器利用“假设词”crib和矛盾检测来大幅缩小密钥空间。Bombe在1940年前后投入使用对盟军在大西洋战场上的情报优势起到了实质作用。战后的故事是另一个方向。1952年图灵因同性恋行为被英国法院以“严重猥亵罪”定罪被迫接受雌激素注射作为“治疗”。1954年6月7日他去世年仅41岁。2013年12月24日英国女王伊丽莎白二世根据《皇家赦免特权》对图灵进行死后追赦司法大臣明确表示当年的定罪“我们今天会认为是不会正的和歧视性的”。2017年英国通过“图灵法”将这一赦免范围扩展到历史上因同性性行为被定罪的其他人。五、图灵奖以他命名的“计算机界诺贝尔奖”图灵奖由美国计算机协会ACM于1966年设立名称直接取自阿兰·图灵专门奖励对计算机事业作出持久而重要贡献的个人。它在公众传播中常被称为“计算机界的诺贝尔奖”。首届图灵奖1966年颁给艾伦·佩利表彰其在高级程序设计技巧和编译器构造方面的贡献。此后历年获奖者几乎构成了一部浓缩的计算机科学史约翰·麦卡锡1971人工智能、蒂姆·伯纳斯-李2016万维网发明、惠特菲尔德·迪菲与马丁·赫尔曼2015公钥密码学等。弗朗西斯·艾伦2006是首位获得图灵奖的女性表彰其在编译器优化方面的奠基性工作。截至2026年已有81人获得该奖。2025年图灵奖于2026年3月公布授予查尔斯·贝内特IBM和吉尔·布拉萨德蒙特利尔大学表彰他们在量子信息科学基础以及安全通信和量子计算方面的开创性贡献。这是图灵奖首次直接授予与量子物理密切相关的研究。六、一条隐藏的线索停机问题与“图灵完备”图灵1936年论文中还有一个结果对今天的软件工程仍然构成底层约束停机问题不可判定。不存在一台通用图灵机能对任意“程序输入”判断它最终会停机还是永远运行。这个结论不是理论计算机科学的一件陈列品。它意味着没有任何静态分析工具能够对任意程序做出完美的终止性判断也意味着“调试”和“测试”在原则上不可能被完全形式化替代。与此同时它的另一面是图灵完备一个计算系统如果拥有无限内存理论上和条件分支能力就能模拟任何图灵机。现代通用编程语言在计算能力上都与图灵机等价你写的每一段可能死循环的代码都在某种意义上“重新证明”了图灵1936年的定理。七、小结图灵的一生留下了一条罕见完整的线索先用一个抽象模型定义了“什么可以被计算”再把那个模型推进成一份可以施工的计算机设计然后用一个行为判据把“智能”拉进可讨论的范围。这三件事分别对应理论计算机科学、计算机工程和人工智能的起点而它们出自同一个人前后相隔不过十四年。他的结局是一个社会在其法律中犯下的错误而迟来的赦免并不能改变已经发生的事。但图灵留下的东西不依赖赦免而存在每当你写下一行可能死循环的代码每当你讨论一个大模型是否“理解”语言每当你问一台机器是否“像人”——你都在他的问题域里工作。

阿兰·图灵：从“可计算数”到通用计算机，一个人如何为数字时代奠基

相关推荐

Linux嵌入式学习——结构体/共用体/枚举/位运算，预编译及底层结构

建筑物立面缺陷识别数据集 AI立面裂缝数据集墙面缺陷识别数据集 YOLO数据集

2026 年的 AI 办公工具已经从“会写文案的对话框”走向“能在真实桌面环境中执行任务的智能体”

更多资讯

V4L2应用层编程实战：从open到STREAMON的完整流程与踩坑汇总

MATLAB轻量级病虫害识别系统：离线部署、INT8量化与田间决策闭环

Windows NTP时间同步实战：w32time调优与ntpdate高精度校时方案

PMIC与MCU协同：利用PCA9422和PIC18F66K40实现低功耗电源管理

dom4j实战指南：Java中XML增删改查与常见坑全解析

PHP反序列化调试实战：用Xdebug精准定位类型丢失问题

今日更新

MATLAB缩进快捷键与批量格式化实战指南

用Poco实现Qt风格信号与槽的跨平台C++方案

ESXi裸机虚拟化安装指南：从硬件兼容到虚拟机部署

本周精选

金融AI落地指南：从调研报告到技术选型与工程实践

大模型上下文成本与注意力优化技术深度解析——为何O(n²)平方复杂度无法被常规优化消除｜TaoToken 统一 Key 通道实测

基于GMM的语音识别系统原理与MATLAB实现详解

本月热门

我发现了一个新思路：用 Remotion + Claude Code 像写代码一样自动化生成短视频

Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式：TaoToken 统一 Key 配置与验证

2026 大模型集体涨价：用 Python 做企业 Token 成本测算与选型避坑（附配置）

读完文章，想聊聊您的网站？