经典阅读 01 – 《逻辑的引擎》下
07 - 图灵的通用计算机
图灵(1912-1954)
剑桥大学的一个指导教师,二战密码破译,毒苹果
图灵的通用计算机
- 五元组(初始状态,注视符号,改写符号,移动方向,变化状态)。
- 每一个图灵机都可以转换为一个自然数。
- 停机问题解决了希尔伯特判定问题
- 对角线方法将允许我们构造出一个与图灵机的任何停机集合都不同的自然数集合,我们称它为D。
- 可以证明集合D不是任何图灵机的停机集合。
- 希尔伯特判定问题:
- 判定稳定的解答将会为解决所有数学问题提供一种算法
- 但是隐含着只要有一个数学问题可以被证明在算法上试不可解的,那么判定问题本身就必定不可解
- “找到一种算法God-Algorithm(图灵机),判定一个给定的自然数是否属于集合D。”这个问题就是一个不可解问题的例子。
- 假设存在这样的算法God-Algorithm,则存在这样一个新的图灵机Satan-Algoorithm。
- 输入的数如果属于D(不是任何图灵机的停机集合),那么按以前运转,否则将永远右移(增加2个五元组即可表达)
- 新机器Satan-Algoorithm的停机集合就是D。然而这时不可能的,与前面证明矛盾。
- 假设存在这样的算法God-Algorithm,则存在这样一个新的图灵机Satan-Algoorithm。
试图找到清楚明白的验算程序,只要用所谓的一阶逻辑(弗雷格体系)的符号系统写出来的某些前提>和所提出的结果给定,那么通过这些程序就是可以判定的。 — 希尔伯特判定问题
总结
- 一台图灵机单凭自身就可以完成任何图灵机可能做到的任何事情。这意味着通用计算机模型的诞生。
- 图灵提出了机器、程序、数据观念的融合与替换。
- 图灵很快证明了他的可计算性概念与丘奇的lambda可定义性是等价的。也就是现在的图灵-丘奇假设。
08 - 通用计算机
第一批通用计算机
- 电子继电器可以实现布尔符号逻辑 Claude Elwood Shannon
- ABC原型计算机 John Vincent Atanasoff & Clifford Berry
- ENIAC John Mauchly & John Presper Eckert
- EDVAC John von Neumann
- ACE Alan Turing
新型计算机
- 1975年图灵奖获得者 Simon 和Newell为代表的符合主义者认为:
- 认知是一种符号处理。
- 除了思维、认知之外,有关视觉认知理论也是一种计算
- 1994年Adleman论证了DNA计算机的可行性,并用DNA计算机解决了一个有向哈密尔顿路径问题。从一个侧面探讨了生命过程就是一种计算的思想。
09 - 超越莱布尼兹之梦
- 逻辑与计算
- 逻辑在计算机科学中农的非凡效力
- 计算机、大脑、心灵
- 塞尔和彭罗斯拒不承认人类的心灵就其本质而言等同于一台计算机。但他们都接受这样一个前提,即不论人类的心灵可能是什么,它都是有大脑产生出来的,都服从物理化学定律。
- 哥德尔则愿意相信,大脑实际上就是一台计算机,但他据不接受超越于人脑的心灵并不存在的观点。
- 未来
- 在哲学,科幻之间