通用图灵机，现代计算机原型祖师爷！

我们生活在一个由计算机主宰的世界里。也许你现在也恰好是在计算机上读这篇文章！说计算机是二十世纪最重要的发明之一估计也没什么人会反对，然而你可能会惊奇地发现，计算机起源于理论数学的领域。

数学家（同时也是二战时的密码破译者）艾伦·图灵发明了一种被称为图灵机的理论机器。图灵机就像一台非常简单的计算机：它使用无限长的纸带以及3种符号（不妨设为0, 1和空白），然后根据一组指令进行运算。指令可以是：

将“0”改为“1”并向左移动一格，或者输入“空白”并向右移动一格（以上只是举例子）。这样，图灵机就可以用来执行任何定义良好的函数运算。

图灵接着描述了什么是通用图灵机，它是一个能够模拟其它所有图灵机的图灵机且能读入任意的输入。这基本上就是存储程序计算机的概念了。图灵仅仅只是用了数学和逻辑，就在技术水平发展到可以设计出真正的计算机之前，创立了计算科学领域。