图灵机
走进计算机文化史 6 - 他的思想代表了逻辑和语言
上期文章（详见：《一个无法证明的逻辑问题》）中我们讲到了图灵在哥德尔证明了不完备理论之后用图灵机的概念完整地证明了希尔伯特判定性问题，并因此从数学理论中开辟出了计算机科学的分支。但即便是这样，图灵的理论撑起的也仅是计算机领域的半边天。如果把日益兴起的计算机科学比作一个成长的巨人，...
走进计算机文化史 7 - “计算”与“机”
在前两期的文章中我们介绍了 图灵机 和 λ算子 对计算机发展的影响。图灵机和λ算子之间的区别是：图灵机强调的是过程，而λ算子强调的是结果。基于这两种不同，也因此演化出了当今的两大类编程语言：命令式编程和函数式编程。
走进计算机文化史 12 - 误解带来的乐观与恐慌
我们用了之前四期的时间从 工程， 功耗，时空概念 及 复杂理论 讨论了计算机的极限以及面对这些极限科学家们所采取的措施。本期文章是讨论计算机极限的最后一篇，我们将跳出传统计算机的领域，从新兴科技的角度入手，通过对其极限的讨论，打破多年来人们对他们的误解。
