目录
世界上第一台专用计算机 — ABC 计算机
历史上有三位伟人对计算机的发明功不可没:
- 阿兰·图灵(Alan Mathison Turing)揭示了计算机能不能做出来:从理论上证明了计算机的可行性。
- 冯·诺依曼(John von Neumann)指示了计算机应该怎么做:奠定了现代计算机的体系结构。
- 阿塔那索夫(John Vincent Atanasoff)把计算机做出来了:发明了世界上第一台专用计算机 — ABC 计算机。
图灵完全性
20 世纪初的数学界正在热烈的讨论当时最伟大的科学发现之一 —— 哥德尔的不完全定理。
在那以前,数学家们总认为一个数学问题虽然要找到答案也许会有些困难,但理论上总有一个确定的答案,一个数学命题,要么是真的,要么是假的。但哥德尔的不完全定理指出:在一个稍微复杂一点的数学公理系统中ÿ