最后更新: 2025-11-05 10:47 查看: 38 次反馈能力测评会员8.2元/月赞助

图灵 Turing

## 图灵 Turing
艾伦·麦席森·图灵（1912年6月23日 – 1954年6月7日）是英国数学家、逻辑学家、密码分析学家和理论生物学家，他被广泛誉为**计算机科学与人工智能之父**。他的工作对现代数字计算机的发展、理论计算机科学的形成以及人工智能的探索产生了深远而根本的影响。

![图片](/uploads/2025-11/a5b32b.jpg){width=200px}
 
 ## 大学生涯
1931年，图灵考入剑桥大学国王学院攻读本科，并获得了数学一等荣誉。

1934年他以优异成绩毕业。

1935年，22岁的他凭借证明中心极限定理的论文被选为国王学院研究员。虽然说图灵不知道，该定理已在1922年由亚尔·瓦尔德马·林德伯格证明。尽管如此，委员会认为这项研究值得考虑提供研究金。

图灵在他的重要论文《论可计算数及其在判定问题上的应用》（英语：On Computable Numbers, with an Application to the Entscheidungsproblem）里 ，对哥德尔1931年在证明和计算的限制的结果作了重新论述，他用现在叫做图灵机的简单形式的抽象设备代替了哥德尔的以通用算术为基础的形式语言。虽然图灵机过于缓慢的速度使其没有实际用途，图灵还是证明了这样的机器有能力解决任何可想像的，并以数学式表达的数学难题。现今，图灵机还是计算理论研究的中心课题。他继续证明了判定问题是没有答案的。他的证明首先展示了图灵机的停机问题没有答案，这是说不可能用一个算法来决定一台指定的图灵机是否会停机。尽管他的证明比阿隆佐·邱奇在λ演算方面相等的证明晚发表了几个月，图灵的著作是更易于理解和直观。他的通用（图灵）机的概念也很新颖。这一通用机能够完成任何其他机器所能做的任务。这篇论文还介绍了可定义数的概念。

1936年9月到1938年7月间，图灵大部分时间都在普林斯顿大学的教堂下学习，第二年被评选为简·伊丽莎·宝洁奖学金客座教授（Jane Eliza Procter Visiting Fellow）。除了他的纯数学工作外，他亦研究密码学，并建造了机电二进制乘法器的四个阶段中的其中三个。[16]1938年6月，获普林斯顿数学系博士学位； 他的论文基于序数的逻辑系统 ,介绍了序数逻辑的概念和相对计算的概念，其中图灵机增加了所谓的预言机，允许学者进一步研究图灵机无法解决的问题。冯·诺依曼有意聘请图灵做他的博士后助理，但他谢绝后又回到了英国。

1939年图灵回到剑桥，聆听了维特根斯坦关于数学基本原理（Foundations of mathematics）的讲座。他们激烈地争论，图灵为形式主义辩护，而维特根斯坦则认为把数学抬得太高反而不能发现任何绝对真理。

## 图灵机
图灵机（英语：Turing machine），又称确定型图灵机，是英国数学家艾伦·图灵于1936年提出的一种将人的计算行为抽象化的数理逻辑机，其更抽象的意义为一种计算模型，可以看作等价于任何有限逻辑，数学过程的强大可计算机器。

> 今天的我们对电脑“视而不见”，输入一个命令计算机就会给出结果，认为这些结果是“理所当然”，但是时间回退到1940年左右，给你一个机器，能否指向这个命令？怎么指向这个命令？等等都是悬而未决的问题，图灵是第

免费注册看余下 70%

非VIP会员每天5篇文章，开通VIP 无限制查看

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

高等数学测评 函数与极限一元函数微分学一元函数积分学微分方程空间向量与代数多元微分学多元积分学无穷级数

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

线性代数测评 行列式矩阵向量空间

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

概率统计测评 事件与概率一维随机变量与事件多维随机变量与事件随机变量的数字特征大数定律与中心极限定理统计量与抽样分布参数估计假设检验

上一篇：刘维尔 Liouville

下一篇：序：近世代数对数学的整体思考

本文对您是否有用？有用 (0) 无用 (0)