目录
从数学危机到图灵机
Q：图灵是谁？他做了什么？为什么要以他的名字命名？
第一次数学危机
希帕索斯悖论：边长为一的正方形其对角线的长度是多少？//背景是毕达哥拉斯学派的理论。
危机的缓解：欧多克索斯建立起“比例论”避开无理数，解释了对角线长度。他使用的是“几何方法”，也推动了几何学的发展。
危机的解决：十九世纪七十年代初，实数理论的建立，无理数的合法地位被确认，才真正解决了第一次数学危机。
第二次数学危机
贝克莱悖论：无穷小量在微积分中，“一会儿是零”“一会儿不是零”，无穷小量究竟是不是零？
危机的缓解：十九世纪七十年代初，魏尔斯特拉斯等人独立建立了“实数理论”，在实数论的基础上，建立起极限论的基本原理，在实数的理论下重建了微积分。
新的问题：魏尔斯特拉斯给出了“一个处处不可微的连续函数”的例子。说明直管以及几何的思考不可靠，必须诉诸严格的概念以及推理。数学家们更加深入的探讨了数学分析的基础。
第三次数学危机
实数论的问题，导致了集合论的诞生。在十九世纪下半叶，康托尔创立了著名的集合论。从自然数与康托尔集合论出发，可以建立起整个数学大厦。一切数学成果都可以建立在集合论的基础上。
罗素悖论：S由一切不是自身元素的集合所组成，S是否属于S呢？//理发师给自己理发的问题。
危机的解决：哥德尔不完备定理。在一九三一年，哥德尔成功证明：任何一个数学系统，只要它是从有限的公理和基本概念中推导出来的，并且能从中推导出自然数系统，就可以在其中找到一个命题，对于这个命题，我们既没有办法证明，又没有办法推翻。哥德尔的定理证明结束了关于数学基础的争论，宣告了把数学彻底形式化的愿望是不可能实现的。
接下来的问题是
一个系统中，X问题既不能证真也不能证伪，Y问题可以证真也可以证伪。那么XY的边界在哪？怎么判定一个问题是否真的有解？
可计算问题：设函数F的定义域是D，值域是R，如果存在一种算法，对D中任意给定的X都能计算出F(X)的值，则称函数可计算。
研究思路：为计算建立一种数学模型，称为计算模型，然后证明，凡是这个计算模型能够完成的任务，就是可计算任务。
这个模型就像一个评价器，评价哪些问题可计算，哪些问题不可计算.
图灵在一九三六年的论文《论可计算数在判定问题中的应用》中提出了一种理想的计算器数学模型——图灵机。
美国计算机协会ACM在一九六六年设立了图灵奖。
图灵机的基本构成
图灵机的组成
- 一条存储带，可以双向无限延长，上面有一个个小方格，小方格储存数字或者字母。
- 一个控制器，包含一个读写头。
- 可以读写更改存储带上每一格的数字字母。
- 可以接受设定的程序语句。
- 可以存储当前自身的状态。
- 可以变换自身的状态。
- 可以沿着存储带一格一格的左移或者右移。
图灵机的工作步骤
- 准备
- 存储带上的符号初始化。
- 控制器设置好自身当前的状态。
- 控制器置于起始位置。
- 准备好工作程序。
- 反复执行以下工作，直到停机。
- 读写头读出存储带上当前方格中的数字和字母。
- 根据自身当前的状态和所读到的字符，找到相应的程序语句。
- 根据相应的程序，只做三个动作。
第一个动作，在当前存储带方格上写入一个相应的字母或者数字。
第二个动作，变更自身状态至新状态。
第三个动作，读写头向左或向右一步。
图灵机的运行机理
条件：当前机器的状态，当前读入的符号。
动作：当前应写入的符号，读写头的动作，机器应该转入的状态。
图灵机停机意味着
- 停机表示计算完毕，表示当前存储带上保留的就是计算结果。
- 停机意味着得出计算结果。
也就是说：对于一个问题的输入A，问：从A能否推证出B？
如果能找到一个图灵机，得出对应的符号序列B，那么从A到B就是可计算的，否则该问题不可计算。
图灵机为什么受到重视
简单！强大！可实现！
理论上：可计算的判定性。
意义：给出了一个可实现的通用计算模型。引入了通过“读写符号”和“状态改变“”进行运算的思想。证实了基于简单字母表完成复杂运算的能力。引入了存储区，程序，控制器等概念的原型。
为什么计算机能够进行计算？
计算机是如何表示数的？
A：用二进制表示数据。 （二进制，八进制，十六进制。要学会进制转换。）
逻辑上数是如何计算的？
A：用布尔代数进行运算。（基本的逻辑运算：与，或，非。符合逻辑运算：同或，异或，与非，或非，与或非。布尔代数是离散数学的分支。）
物理上数的计算是如何实现的？
A:用电路实现布尔运算。（半加器和全加器。）
扫一扫
892
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
