2019年8月29日，文汇网读书周报栏目刊登了一篇题为《人工智能有朝一日真的会统治人类，主宰地球吗？》的文章（参考资料[1]，以下简称“文汇网文章”）。特摘录其中两段如下：

1950年，图灵发表了一篇文章《机器能思考吗？》（“Can Machines Think?”，该文有时也被人与他在同年发表的另一篇论文《计算机器与智能》［“Computing Machinery and Intelligence”］混为一谈），其中提出了“图灵测试”，他主张用这个测试来判断计算机是否具有“智能”。具体设想如下：

让一个人A和一台计算机B作为被测试对象在一间屋子里，让另一个人C作为测试者在隔壁屋子里，测试者和被测试者只能通过某种没有图像和声音的工具（比如电脑键盘）交谈；测试者C的任务是判断每个回合和自己交谈的是人还是计算机。如果计算机在问答中让测试者误判的比率超过30%，它就算通过了“图灵测试”，这台计算机就将被认为是具有了“智能”的。图灵当时还预言，这样的计算机将在公元2000年出现。

我的问题是：图灵在1950年发表过标题为“Can Machines Think?” 其中提出了“图灵测试”的文章吗？我查了有关图灵的著作选，以及系统介绍图灵著作的书籍（参考文献[3]-[5]），没有发现图灵有这样标题的文章。介绍图灵著作的书籍中提到“Can Machines Think”，都指源于被文汇网文章认定“混为一谈”的《计算机器与智能》［“Computing Machinery and Intelligence”］一文。图灵的《计算机器与智能》一文第一节的开头（参考资料[2]）就是这样的一句话：
I propose to consider the question, ‘Can machines think?’（我提议考虑这个问题，“机器能思考吗？”）

前面摘录的文汇网文章中的另一段中有关图灵测试的具体设想的内容，也全部可以在《计算机器与智能》一文中可以找到。例如，A、B、C三个角色，再如，“测试者误判的比率超过30%”“将在公元2000年出现”——在1950年图灵的《计算机器与智能》一文中，预测“大约50年后”“不会有多于70%的机会作出正确的识别”。图灵应该不会在1950年发表两篇内容一样、标题不同的文章。所以，大胆怀疑图灵在1950年没有发表过题为《Can machines think?》的文章。如果我的怀疑对的话，那就并非后人把图灵的两篇文章“混为一谈”，倒很可能是后人把《计算机器与智能》一文“分为二谈”。

以前我也曾经看到国内有人在文章中谈到图灵的题为《机器能思考吗？》文章，对此早有怀疑。但这次文汇网文章的作者是我很敬仰的著名科学史专家，我希望自己的怀疑是错误的。如果有人提供图灵发表过题为《Can machines think?》的文章证据（例如，发表此文的刊物名称、期号），为我解惑，我将非常感谢。

图灵的《计算机器和智能》的开头，提议考虑 “机器能思考吗？”的问题

那么，除了在论文《计算机器与智能》以外，图灵还有没有在其它场合讨论过“机器能思考吗”问题？有，至少在BBC（英国广播公司）的广播节目中就有两次（参考资料[3]和[4]）。一是1951年5月15日，在BBC播出图灵的演讲“Can Digital Computers Think?（数字计算机能思考吗？）”，并于当年7月3日重播。图灵这次讲座的主要目的是捍卫他的观点，即“将数字计算机描述为大脑并非完全不合理”。二是1952年1月10日，BBC录制了图灵、纽曼、R.B.布雷斯韦特和G.杰弗森之间的讨论：“Can Automatic Calculating Machines Be Said To Think?（自动计算器能说是在思考吗？）”，并于14日和23日在BBC电台播出。据说，这是已知最早的关于人工智能的讨论。其中包含了关于机器学习的冗长讨论。为了回应杰弗森的观点，即真正的学习需要教师的干预，图灵说：“的确，当教导一个孩子时，他的父母和老师反复干预，阻止他这样做，或者鼓励他那样做。但当一个人试图教一台机器时，这种情况也不会少。我做了一些实验来教一台机器做一些简单的操作，在我得到任何结果之前需要大量的干预。换句话说，这台机器学得太慢，需要大量的教学”。

最后，顺便说，7月15日，英格兰银行宣布新版50英镑纸钞将印上艾伦·图灵的头像，将于2021年底开始流通。据报道，英国央行行长马克•卡尼说，“艾伦·图灵是一位杰出的数学家，他的工作对我们今天的生活方式产生了巨大影响”，“作为计算机科学和人工智能之父，以及战争英雄，艾伦·图灵的贡献是深远的和开创性的。图灵是一个巨人，现在很多人都站在他的肩膀上。”

英格兰银行新版50英镑纸钞

参考资料
[1] http://www.whb.cn/zhuzhan/dushu/20190829/286253.html
[2] A.M. Turing.  Computing machinery and intelligence. Mind, New Series, Vol. 59, No. 236 , pp. 433-460. Oct., 1950.
[3]The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life: Plus The Secrets of Enigma. Edited by B. Jack Copeland,OXFORD UNIVERSITY PRESS. 2004
[4] Alan Turing: HIS WORK AND IMPACT. Edited by S. BARRY COOPER and JAN VAN LEEUWEN. Elsevier. 2013.
[5] The Annotated Turing. A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine. by Charles Petzold. Wiley Publishing, Inc.2008.

BIBLIOGRAPHY

1935a. On the Gaussian Error Function (King’s College Fellowship Dissertation)

1935b. Equivalence of left and right almost periodicity. J. Lond. Math. Soc. 10, 284.

1937a. On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. (2),

42, 230.

1937b. Computability and λ-definability. J. Symbolic Logic, 2, 153.

1937c. The p-function in λ-K-conversion. J. Symbolic Logic, 2, 164.

1937d. Correction to 1937a. Proc. Lond. Math. Soc. (2), 43, 544.

1938a. Finite approximations to Lie groups. Ann. Math. Princeton, 39, 105.

1938b. The extensions of a group. Comp. Math. 5, 357.

1939. Systems of logic based on ordinals. Proc. Lond. Math. Soc. (2), 45, 161.

1942a. (With M. H. A. Newman) A formal theorem in Church’s theory of types. J. Symbolic Logic, 7, 28.

1942b. The use of dots as brackets in Church’s system, J. Symbolic Logic, 7, 146.

1943*. A method for the calculation of the zeta-function. Proc. Lond. Math. Soc. (2), 48, 180.

1948a. Rounding-off errors in matrix processes. Quart. J. Mech. App. Math. 1, 287.

1948b. Practical forms of type-theory. J. Symbolic Logic, 13, 80.

1950a. The word problem in semi-groups with cancellation. Ann. Math. 52, 491.

1950b. Computing machinery and intelligence. Mind 59, 433.

1950c. Programmers’ Handbook for the Manchester electronic computer

1952. The chemical basis of morphogenesis. Phil. Trans. B 237, 37.

1953a. Some calculations of the Riemann zeta-function. Proc. Lond. Math. Soc. (3), 3, 99.

1953b. Digital computers applied to games: chess, pp. 288–295 of Faster than thought, ed. B. V. Bowden.

Pitman, London.

1954. Solvable and unsolvable problems. Sci. News 31, 7.

[A second paper on morphogenesis is being prepared for publication by N. E. Hoskin and B. Richards,

based on work left by Turing.]

* Received four years earlier (7 March 1939).