一台只按有限规则读写符号的抽象机器,为什么十四年后会进入“机器能不能思考”的讨论?本期《原代码》从 1936 年的纸带、当前格与 universal machine 出发,经过 Bombe、Colossus 和 ACE 的不同工程边界,再回到 1950 年的 imitation game,追踪一个过大的问题如何被改写成可执行动作或可观察游戏。
从一格纸带,到一台可以读取另一台机器描述的 universal machine;从专用密码分析设备,到会被讨论“能不能思考”的机器:问题没有变得更小,只是换成了可以检查、比较和继续追问的形式。
你可在官方网站 yuandaima.xyz 中查看本期逐字稿、证据引用关系和证据快照。
## 时间轴
冷开场:先把问题换成一台机器
有效计算怎样落到可执行动作
平行定义、公开修正与人物履历
Bombe、Colossus 与“通用”边界
ACE 让抽象模型接受存储、硬件和团队约束
程序成为可以被组织的对象
从 unorganised machines 到 child machine
Jefferson、意识异议与 imitation game
从“机器能否思考”到“下一个词”
## 本期资料
- [A. M. Turing:《On Computable Numbers》](www.cs.ox.ac.uk)
- [A. M. Turing:《A Correction》](people.irisa.fr(6)-Tur.pdf)
- [GCHQ:The Pyry Forest Meeting](www.gchq.gov.uk)
- [GCHQ:Alan Turing](www.gchq.gov.uk)
- [GCHQ:Gordon Welchman](www.gchq.gov.uk)
- [Computer History Museum:Timeline of Computer History: Computers](www.computerhistory.org)
- [The National Museum of Computing:Colossus](www.tnmoc.org)
- [NPL:Turing's ACE proposal](www.npl.co.uk)
- [NPL:Intelligent Machinery](www.npl.co.uk)
- [NPL:Progress Report on the ACE](www.npl.co.uk)
- [A. M. Turing:《Computing Machinery and Intelligence》](courses.cs.umbc.edu)
- [OpenAI:《GPT-4 Technical Report》](arxiv.org)
## 源码与工程记录
本期没有可供听众运行的独立源码仓库;ACE 的设计与协作记录见:
- [King's College:ACE proposal archive record](turingarchive.kings.cam.ac.uk)
- [AlanTuring.net:ACE archive catalogue](www.alanturing.net)
- [King's College:Intelligent Machinery archive record](turingarchive.kings.cam.ac.uk)
## 访谈与历史原声来源
本版没有剪入第三方历史原声。BBC 明确说明 1951 年广播没有存世录音;[Mark Gatiss 的视频重读](www.bbc.co.uk)不是 Turing 原声。[King's College 的 1951 广播稿目录](turingarchive.kings.cam.ac.uk)仅作为文字与声音边界参考。
## 说明与延伸阅读
- 1936 年的 tape 是纸带的数学类比,不是后来 Colossus 的打孔纸带,也不是已经造出的硬件蓝图。
- Bombe 是专用密码分析设备;波兰先行、Welchman 改进和制造团队必须保留,不能把它写成 Turing 单人完成的通用计算机。
- ACE proposal 和 1948 年的进度报告显示,通用计算进入了存储、硬件、编程和协作组织的约束;Turing 的 proposal 不等于整个 ACE 项目由一人完成。
- imitation game 是对“机器能不能思考”问题的替换,不是意识的测量仪,也不是今天所有“图灵测试”说法的唯一版本。
- GPT-4 technical report 只提供一个当代模型的最小技术描述;本期不把它写成 Turing 预见了 Transformer、RLHF,或已经表达过对大语言模型的明确态度。

