一个伟大、孤僻、特立独行的灵魂:天才已去60年

2024-04-27 07:48

本文主要是介绍一个伟大、孤僻、特立独行的灵魂:天才已去60年,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

enter image description here

【说明:2014年6月7日是阿兰•图灵逝世60周年。这篇文章是图灵生平的缩影,摘自《图灵的秘密:他的生平、思想及论文解读》“第4章,图灵的学业”,由于原文太长,这里针对部分文字进行了删减和整理。】

1912年6月23日,阿兰•图灵生于伦敦,是家中的第二个男孩。

1926年图灵进入公立学校舍伯恩学习。他害羞、孤独,似乎总是衣衫不整,学习上也没有表现得特别优异。只有在数学上,他的智力天赋初露端倪。1929年,图灵开始着迷于《物理世界的自然》(1928)一书。期间认识克里斯托弗•莫科姆,并交往密切,他们在科学和数学上有着共同的兴趣。回想起来,图灵很可能在那时发现了他的同性恋倾向。

1929年12月,图灵和克里斯托弗共同参加了剑桥大学奖学金考试,随后克里斯托弗被三一学院录取,图灵落榜。但两个月后,克里斯托弗突然生病,在一周内去世。一位舍伯恩的旧日同窗在信中写道:“可怜的图灵因为这个打击几乎崩溃,他们一定是极其要好的朋友。”

1930年12月,图灵再次参加了三一学院的考试,仍然未被录取。他调整目标,瞄准第二选择剑桥大学国王学院,全心钻研G. H. 哈代的经典著作《纯数学教程》备考。1931年秋,图灵开始了他在剑桥大学国王学院的学习。

1935年春,图灵修读了麦克斯•纽曼的“数学基础”课程,课程涵盖了尚未解决的判定性问题。同年夏天,图灵开始研究判定性问题。

图灵的毕业论文发表在伦敦数学学会1936年11月和12月的论文集里,这就是图灵流芳百年的“On Computable Numbers, with an Application to the Entscheidungsproblem”(论可计算数及其在判定性问题上的应用)。他的论文采用了一种不同寻常的数学证明方法,甚至创造了一个通用机器,它能模拟其他任何一台计算机器的操作。

毕业后图灵来到美国普林斯顿大学攻读数学博士学位,期间他对密码学产生了兴趣。

1939年9月1日,德国入侵波兰,第二次世界大战爆发。两天后,英国向德国宣战。9月4日,图灵受邀到英国政府情报破译中心布莱切利庄园报到,致力于破译德国海军的密码。1940年,第一台“图灵Bombe”开始运行。它重达一吨,可模拟30台并行运行的恩尼格玛密码机。1941年,德军恩尼格玛加密的通信被攻破,图灵在其中起到了重要作用。

1943年初,图灵到贝尔实验室待了两个月,在这里遇到了开辟数位采样理论的哈利•奈奎斯特和克劳德•香农。

1951年3月15日,因在可计算数方面所做的工作,图灵被评为英国皇家学会会士,举荐人是麦克斯•纽曼和伯特兰•罗素。

1952年2月,因同性恋行为,警方传讯了图灵。最终,法庭判处图灵“严重猥亵罪”,且强制实施荷尔蒙治疗。图灵的择业因此受到限制,计算机之路也严重受阻。

1954年6月7日晚,睡前,图灵照例吃下苹果,但是,这只苹果蘸上了剧毒氰化物,41岁的天才就此了结了自己的一生。

2009年9月10日,英国前首相戈登•布朗代表英国政府为图灵当年受到的不公正待遇公开致歉。2013年12月24日,英国女王伊丽莎白二世为图灵追授死后赦免状。

阿兰•图灵(1912—1954)是英国数学家、逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者,提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献,国际计算机协会于1966年设立图灵奖,此奖项被誉为计算机科学界的诺贝尔奖。


由Windows编程大师Charles Petzold耗时多年编写的《图灵的秘密:他的生平、思想及论文解读》剖析了现代计算机原理开山之作、阿兰•图灵流芳百世的论文 “On Computable Numbers, with an Application to the Entscheidungsproblem”。图灵在其中描述了一种假想的计算机器,探索了其功能和内在的局限性,由此建立了现代程序设计和可计算性的基础。这本书也像是一本小说,行文间穿插讲述了图灵的成长经历和教育背景,以及他跌宕起伏的一生,包括破解德国恩尼格密码的传奇经历,他对人工智能的探索,他的性取向,以及最终因同性恋的罪名而在41岁时自杀的悲惨结局。全书完整揭示了阿兰•图灵非凡、传奇而悲剧的一生,是了解图灵的思想和生平的极好著作。

这篇关于一个伟大、孤僻、特立独行的灵魂:天才已去60年的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/939914

相关文章

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言

全网第一 | Flink学习面试灵魂40问答案,文末有福利!

大数据技术与架构 点击右侧关注,大数据开发领域最强公众号! 暴走大数据 点击右侧关注,暴走大数据! 来源:王知无 作者:王知无 By 暴走大数据 场景描述:这是一份Flink学习面试指北。看看你搞清楚自己的定位没有? 关键词:Flink 学

全网第一份 | Flink学习面试灵魂40问,看看你能答上来几个?

《2021年最新版大数据面试题全面开启更新》 答案将在下期给出。   概念和基础篇   简单介绍一下Flink Flink相比传统的Spark Streaming有什么区别?和Spark中的structured streaming 相比呢?Flink相比ss和storm有什么优势? Flink的组件栈是怎么样的? Flink的基础编程模型了解吗?

1--程序设计的灵魂—算法

一:算法 特定问题求解步骤的描述 在计算机中表现为指令的有限序列 算法是独立存在的一种解决问题的方法和思想 对于算法而言,语言不重要,重要的是思想 二:算法特性 输入:有0个或多个输入 输出:至少一个输出 有穷:有限步骤之后自动结束 确定:每一步都有确定的含义 可行:每一步可行 三:算法设计准则 正确性,可读性,健壮性,高性价比 程序=数据结构+算法 四:影

备战秋招60天算法挑战,Day32

题目链接: https://leetcode.cn/problems/house-robber-ii/ 视频题解: https://www.bilibili.com/video/BV1WRYKeKEQE/ LeetCode 213. 打家劫舍 II 题目描述 你是一个专业的小偷,计划偷窃沿街的房屋,每间房内都藏有一定的现金。这个地方所有的房屋都 围成一圈 ,这意味着第一个房屋和最后一个

60.以太网数据回环实验(3)以太网数据收发器接收模块

(1)状态设计: ST_IDLE        :空闲状态ST_PREAMBLE     :前导码+帧起始界定符ST_ETH_HEAD     :以太网帧头:目标MAC地址+源MAC地址+类型/长度ST_IP_HEAD         :IP首部ST_UDP_HEAD     :UDP首部(8个字节)ST_RX_DATA        :接收数据状态ST_RX_DONE

【60天备战软考高级系统架构设计师——第八天:设计模式概述】

设计模式(Design Patterns) 设计模式是一套被反复使用的代码设计经验总结,可以帮助开发人员解决软件开发过程中遇到的常见问题。它们为软件设计提供了一些通用的解决方案,能够提高代码的可重用性、可维护性和可读性。设计模式主要分为三大类:创建型模式、结构型模式和行为型模式。 1. 创建型模式(Creational Patterns) 创建型模式主要关注对象的创建过程,目的是将对象的创建

Python精选200Tips:51-60

Functions are one of the most beautiful concepts in mathematics 051 基本结构052 参数类型053 函数作为参数054 装饰器055 装饰器056 函数缓存functools.lru_cache057 参数固定functools.partial058 减少到一个值functools.reduce059 闭包060 异步函数

5月,我面试60多号人,才发现很多人没有这项能力

很多 3~5 年开发经验的,都来自传统行业,所接触的都是一些非常传统的项目,像上面的一些案例场景,根本没碰到过,也不知道如何找到好的解决方案。 交流的过程中,发现这些很基本的问题,他们普遍都答得很片面,没底气,支支吾吾的。因为接触的太少,掌握的都是零散的知识点,心里并没有成熟的技术框架。 他们对知识的【点】掌握得相当不错!知道么?一个 JVM 都差不多能挖到底层的汇编了,确实厉害!说得头头是道

【60天备战软考高级系统架构设计师——第六天:需求验证与变更管理】

需求验证和变更管理是需求工程的后续阶段,目的是确保所有需求都被正确理解、实现和管理。今天的内容将了解如何进行需求验证以及如何有效管理需求变更。 需求验证与确认 需求审查 与用户和利益相关者一起审查需求文档,确保需求的准确性和完整性。方法:需求评审会议、走查等。 原型验证 通过构建低保真原型(如线框图)或高保真原型(如功能模型),向用户演示系统功能并获取反馈。工具:Axure、Balsami