【计算机系统导论】1.5 从电子到问题


原 1.4 + 1.5 重要思想与理念

  • Eight Great Ideas in Computer Architecture
    • Design for Moore’s Law
    • Use Abstraction to Simplify Design
    • Make the Common Case Fast
    • Performance via Parallelism
    • Performance via Pipelining
    • Performance via Prediction
    • Hierarchy of Memories
    • Dependability via Redundancy

1.1.2 图灵机

虽然巴贝奇的分析机这一超越时代的机器最终并未能够成功建造完成,但是不到一个世纪之后,另一位英国人站了出来,他就是阿兰·图灵。1936 年,在剑桥国王学院就读的阿兰·图灵发表了一篇也许他自己都没有想到如此重要的论文 —— 《论可计算数及其在判定问题上的应用》,在这篇论文中,图灵一口气提出了两个影响深远的概念:算法和计算机.

正如前一节中所介绍的那样,用机器进行计算是一直以来科学家(主要是数学家)努力的目标,从帕斯卡、莱布尼兹到巴贝奇和艾达都曾提出自己的设计。不过这一次,图灵吸取了前辈们的教训,不再去追求复杂庞大的设计,而是设计了一套足够简单的计算系统,可以用简洁的逻辑公式来描述其行为,也就是我们常常提及的『图灵机』。图灵机简单的计算系统并不意味着功能和行为的简单,相反,利用有限的动作,图灵机可以完成任何机器所能完成的计算。

1 从停机问题到图灵机

图灵机的具体工作原理我们稍后再讲,这里来说说一个其他课本不太提及的内容,图灵为什么会要提出图灵机。

什么样的问题是可计算问题

什么是停机问题

图灵机如何解决这个问题

2 图灵机的概念

3 用图灵机计算伯努利数字

1.1.3 东西方差异

东西方文化在计算这个事情上的差异,周易八卦等等结合进来说

西方科学惯用的方式所采取的一种严格的形式化表述

捧个钱场?