||
我们于2018/4/15成立一个“图灵论著专研与精译工作群”:
图灵的论著和他的工作不仅是学术史、学术思想史的重大事件,也是现代人类社会从工业时代转向信息时代的一个标志,数学与工程技术不同,图灵的论著和他的工作是数学的技术理论化,如果说,数学和几何的关系是纯粹的理论一致性,那么数学与现实世界的关系就是跨界的一致性,“丘奇一图灵论题”表达了数学与现代技术理论的内在一致性。所以把图灵的论著和他的工作作为时代性转折的标志当之无愧。
但是对图灵的思想的深刻认识还远远不够,甚至己经被作为计算机理论圣经的“图灵机”仍然蒙着一层神秘的面纱,而对图灵关于机器与思维关系的思考完全没有得到真正的理解,他的“判定问题”被简化为“停机问题”,“模仿游戏”被简化为“图灵检验”就是最著名的例子。
图灵的著作和工作已经近百年了,尽管在技术实践上取得了巨大的成就,但在图灵的主要理论基础上并没有取得跨越性的进步。当前蓬勃发展的人工智能揭示出人类面对自身的挑战,当我们从中认识到人类社会出现重大转折时却似乎失去了方向感,比如,技术理论前沿工作的学者甚至说不出计算机与人工智能究竟有何不同。
图灵处在世界格局重构的年代,数字和科学理论的大厦己经耸立,工业技术与纯粹理论正在融汇而走向一个全新的信息时代,图灵有幸成为了这个转折点,我们並不期望直接从图灵的论著中找到现成的答案,而是希望通过他的著作去理解他深刻而隐秘的思想,从中获取灵感,用我们的智慧去参与和回应时代面临的挑战。
我们的译读工作以Copeland的书“The EssentialTuring”[1]为主线,此书收集了图灵的重要著作,分为四部分:
第一部分:Computable Numbers
1. On Computable Numbers, with an Application to the Entscheidungsproblem (1936)
2. On Computable Numbers: Corrections and Critiques 91 Alan Turing, Emil Post, and Donald W. Davies
3. Systems of Logic Based on Ordinals (1938 ), including
excerpts from Turing’s correspondence, 1936 –1938
4. Letters on Logic to Max Newman (c.1940)
第二部分:Enigma(1941-1945)
5. History of Hut 8 to December 1941 (1945 ), featuring an
excerpt from Turing’s ‘Treatise on the Enigma’ - Patrick Mahon
6. Bombe and Spider (1940 )
7. Letter to Winston Churchill (1941 )
8. Memorandum to OP-20-G on Naval Enigma (c.1941)
第三部分:Artificial Intelligence(1947-1952)
9. Lecture on the Automatic Computing Engine (1947 )
10. Intelligent Machinery (1948 )
11. Computing Machinery and Intelligence (1950 )
12. Intelligent Machinery, A Heretical Theory (c.1951)
13. Can Digital Computers Think? (1951)
14. Can Automatic Calculating Machines Be Said to Think? (1952)
第四部分:Artificial Life
15. The Chemical Basis of Morphogenesis (1952)
16. Chess (1953)
17. Solvable and Unsolvable Problems (1954)
参考文献:
[1]B. Jack. Copeland, The EssentialTuring, 2004,http://www.cse.chalmers.se/~aikmitr/papers/Turing.pdf
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-1 16:24
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社