51CTO编辑注:时至2012,今年的6月23日是阿兰·图灵的一百周年诞辰。为了纪念这位伟大的科学家,Scaruffi.com的创始人Piero Scaruffi在最近分享了一个83页的幻灯片:Alan Turing and the Programmable Universe,对阿兰·图灵的故事进行了很精彩的解读。51CTO特将这份幻灯片翻译过来,跟大家分享。
作者前言
值此阿兰图灵诞辰一百周年之际,请允许我向这位堪称伟人的先贤表达最诚挚的敬意。二十一世纪很大程度上可以被称为由阿兰图灵主宰的世纪,因为在本世纪中陆续出现的一切科学与技术项目皆依托于他的不世贡献方能存在。
时代背景
阿兰·图灵所生存的1910-1950年代,是一个一切都在颠覆中前进的年代。从日常生活、科学基础、艺术观念、到地缘政治形势,一切都发生了巨大的转变。
1910年代的生活:
1910年代的文化:
- 未来学派(1909): 机械与噪音
- Carl Jung (1912): 群体潜意识
- Alfred North Whitehead与Bertrand Russell合著的 “自然哲学的数学原理” (1913): 数学逻辑
- 俄国出现至上主义与构造主义思想(1915)
- 卡夫卡的小说《审判》 (1915)
- 爱因斯坦的广义相对论 (1915)
- 达达主义 (崇尚虚无的艺术流派,1916): 可能性与无理性
- 爵士乐(1917):提倡即兴创作及演奏
- 第一次世界大战(1914-18)
1910年代的文化,一边是科学家,一边是虚无主义和战争
1920年代的科学与文化:
- 德布罗意提出波粒二象性假说 (1923)
- 巴甫洛夫提出条件反射理论 (1926)
- 薛定谔提出波动方程 (1926)
- 海森伯提出不确定关系原理(1927)
- 希尔伯特留下的挑战:一种能够解决所有数学问题的算法(1928)
- 埃德温·哈勃发现宇宙正处于膨胀之中(1929)
1920年代的艺术:
- 勒·柯布希耶的“现代城市”概念 (1922)
- 詹姆斯·乔伊斯的小说《尤里乌斯》(1922)
- 阿诺德·勋柏格的十二音体系(1923)
- 超现实主义 (1924)
- 克劳德·莫奈的《少女》系列作品 (1926)
- 弗里茨·朗的电影《大都会》(1926)
- 安东尼奥·高第的圣家族大教堂 (1920s)
- 马丁·海德格尔的《存在与时间》(1926)
- 有声电影 (1927)
- 布雷希特的《三便士歌剧》 (1928)
1930-1940年代的科学:
- 1931: 哥德尔不完备性定理
- 1932: 约翰·冯·诺伊曼: 量子波坍缩的观察者
- 1934: 卡尔·波普: 现象与理论相关
- 1935: 阿尔弗雷德·塔斯基: 现象只能由元语言加以定义
- 1938: 德日进祖父: 进化是自然的一般性法则
- 1938: 查尔斯·莫里斯的符号理论
- 1938: 斯金纳的行为主义学说
- 1942: 恩里克·费米的核反应堆
- 1943: 肯尼斯·克雷克: 思维是一套能够从内部构建世界的设备
- 1943: 首台计算机问世 (Colossus)
- 1944: 薛定谔: 生命与熵(非熵)值
- 1947: 晶体管出现
- 1947: 诺曼·维纳的社会控制论
- 1948: 克劳德·仙农的信息理论
- 1948: 乔治·伽莫夫的宇宙大爆炸理论
- 1949: 唐纳德·海伯提出人脑工作模式理论
1930-1940年代的科学
在那个科学爆发的时代,人们达成了一些共识:
- 思维是一种符号处理器
- 生命体与机械并无区别
- 万物处于进化之中
- 科学新前沿就在征服自然的过程中(电子工业、原子能源、宇宙学说)
- 科学知识的拓展存在尽头
1930年代的艺术:
- 超级英雄漫画 (闪电侠、超人等)
- 摇摆乐
- 西班牙诗歌(西门尼斯、加西亚·罗卡等)
- 超现实主义 (达利、厄恩斯特、唐居伊等)
- 1936: 查尔斯·卓别林的“摩登时代”
1940年代的艺术:
- 存在主义 (萨特、加缪等)
- 抽象派绘画(波洛克、库宁等)
- 电子音乐(凯奇、达姆斯特大学、舍弗勒)
- 比波普爵士乐
- 1949: 乔治·奥威尔的小说《1984》
这个时代的艺术家们也有一些共性:
- 向传统挑战
- 焦虑成为主要创作情绪
- 嘈杂喧闹
政治背景:
- 第二次世界大战 (1939-45)
- 纳粹大屠杀
- 广岛原子弹
- 大英帝国的瓦解
- 美国与前苏联的崛起
以上就是阿兰·图灵所在的那个年代。
阿兰·图灵
阿兰·图灵在1920-1930年代:
- 希尔伯特的挑战(1928): 一种能够解决任何数学问题的算法
- 图灵机 (1936): 一种理想化的计算模型,其运作方式取决于符号排序方式;而其在运作过程中也会决定符号的排序方式
- 通用型图灵机(UTM):能够模拟任何图灵机功能
“这一挑战中所蕴含的根本性价值在于,只有根据给定指令进行的机械化运算机制才能为其结论提供证明。”
(值得一提的是,停机问题最终被证明是不可证明的,也就是说希尔伯特提出的判定性猜想属于伪命题)
阿兰·图灵在第二次世界大战:
- 破解传奇式的“恩尼格玛”密码
- 图灵工作过的布雷契莱园造出了庞大的克洛萨斯计算机,但它并不属于通用型图灵机
首台完备的图灵计算机 ENIAC 在1946年问世:
后来……
- 阿兰·图灵的同性恋倾向曝光
- 1954年自杀身亡
有关阿兰·图灵的更多故事,可以参考以下读物:
- 李维特撰写的传记式著作《The Man Who Knew Too Much》(2006)
- 《图灵溯源:计算、逻辑、哲学、人工智能、人工生命体以及英格玛揭密》(‘The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence,and Artificial Life plus The Secrets of Enigma’2004)
- 佩特佐德:《解读图灵:阿兰·图灵可计算性与图灵机论文一览》(‘The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine’2008)
- Turing Year纪念官网:http://www.turingcentenary.eu/
图灵的世纪
如果没有可编程计算机,我们在过去五十年中(从登月计划到生物克隆)所获得的种种骄人成就还能剩下多少?
下面的内容将围绕【人工智能】这一话题展开。为了便于阅读,决定拆分至另一篇文章发布,地址见文末。
原文:Alan Turing and the Programmable Universe
感谢核子可乐的精心翻译。
作者简介:Piero Scaruffi,文化历史学家,认知科学家和诗人,www.scaruffi.com网站创始人,著有A History of Silicon Valley(硅谷发展史2011),Synthesis: Poems and Meditations (互为依托:诗歌与冥想2010),A History of Rock and Dance Music(摇滚乐与舞曲发展史2009),A History of Jaz Music(爵士乐发展史2007),The Nature of Consciousness(认知的本源2006)等书。
【阿兰·图灵的世纪】
- 阿兰·图灵的世纪(一):颠覆的时代
- 阿兰·图灵的世纪(二):人类越来越笨
- 阿兰·图灵的世纪(三):图灵测试的反面