1.
第三次数学危机
数学史上的第三次危机,是由1897年的突然冲击而出现的,到现在,从整体来看,还没有解决到令人满意的程度。这次危机是由于在康托尔的一般集合理论的边缘发现悖论造成的。由于集合概念已经渗透到众多的数学分支,并且实际上集合论成了数学的基础,因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。
理发师悖论:村子里有个理发师,这个理发师有条原则是,对于村里所有人,当且仅当这个人不自己理发,理发师就给这个人理发。如果这个人自己理发,理发师就不给这个人理发。无法回答的问题是,理发师给自己理发么?
2. 停机问题:
停机意味着什么, 给定符号序列A,如果能找到一个图灵机得出对应的符号序列B, 那么A到B 就是可计算的, 。
也就是说:::
对于一个问题的输入A,问: Aneng能否推证明出来B? 如果能找个一个图灵机,得出对应的符号序列B, 那么A到B就 是可计算的。 否者该问题不可计算。。
3. 图灵:机的特点: 简单, 强大, 可实现。
4. 意义
给出了一个可实现的通用计算的模型;
#引用了 通过“读写符号”和“状态改变” 进行运算的思想。
# 证实了 基于简单字母表完成复杂的运算的能力;
# 引入了 存储区、程序、 控制器 等概念的模型。。。。
5. 总结: 存储区、程序、 控制器 等概念的模型 是现代计算mox