艾伦·图灵(Alan Turing),计算机科学和二战密码破译的先驱,二十世纪最重要和最有影响力的思想家之一。本书是首部面向广大的非专业读者,解析图灵关键著作的作品。这些著作引人入胜,具有重要的价值和历史意义:当代计算理论、认知科学、人工智能和人工生命都源于这些突破性的工作,它们也富含哲学和逻辑见解。图灵研究专家杰克·科彭德的介绍为读者补充了相关背景,并引导读者阅读图灵的重要作品。
全书目录:
艾伦·图灵(1912-1954),杰克·科彭德
可计算数入门,杰克·科彭德
1. 可计算数及其在可判定性问题上的应用(1936)
2. 论可计算数:更正和批评,艾伦·图灵,波斯特,唐纳德·W·戴维斯
3. 基于序数的逻辑系统(1938)
4. 致马克斯·纽曼关于逻辑的通信(约1940年)
恩尼格玛,杰克·科彭德
5. 8号小屋到1941年12月的历史(1945), 帕特里克·马洪
6. Bombe机与蜘蛛(1940)
7. 致温斯顿·丘吉尔的信(1941)
8. 关于海军恩尼格玛密码机的OP-20-G备忘录(约1941年)
9. 关于自动计算机的讲座(1947)
10. 智能机械(1948)
11. 计算机与智能(1950)
12. 智能机械,一种异端理论(约1951年)
13. 数字计算机能思考吗?
14. 可以说自动计算器会思考吗?(1952年),艾伦·图灵、理查德·布雷斯韦特、杰弗里·杰斐逊和马克斯·纽曼
人工生命,杰克·科彭德
15. :形态发生的化学基础(1952)
16. 国际象棋(1953)
17. 可解决和不可解决的问题(1954)