思想家们

在这一部分，我们将研究一些在计算机历史上具有理论意义但仍然相当重要的人物。现代计算机远远超越了一个能够以闪电般的速度执行数十亿个算术运算的强大机器的初衷。计算机之所以强大，是因为它们能够执行长而复杂的逻辑和算术操作序列，并根据提供给它们的信息修改这些序列，而无需任何直接干预，也就是说，它们可以做出逻辑决策。直到二战后才显现出来，通用的存储程序计算机能够实现与任何特殊用途逻辑机器相同的结果。

我们已经提到了一些几个世纪前梦想过“逻辑机”的人（ramon llull athanasius kircher 和 gottfried leibniz）。这里描述的逻辑机在实际意义上没有任何重要性，有时被用作教学辅助工具，因此它们的主要重要性是理论上的，但它们证明逻辑过程可以被机械化，并加强了逻辑与计算之间的关系。