我们都知道，发明计算机的主要思想源自于英国数学家艾伦 · 图灵（Alan Turing）和德国数学家大卫希尔伯特（David Hilbert）。
我们都知道，发明计算机的主要思想源自于英国数学家艾伦 · 图灵（Alan Turing）和德国数学家大卫希尔伯特（David Hilbert）。希尔伯特在 1928 年提出了一个问题：是否存在一个数学家可以遵循的通用算法，让他们知道任何给定的数学陈述是否可证明。希尔伯特希望的算法有点像纸笔相乘两个数字的算法。除了从两个数字开始以外，你应该从一个数学猜想开始，经过算法的步骤，你就会知道这个猜想是否可以被证明。该算法可能过于耗时，无法在实践中使用，但如果存在这样的算法，那么至少在原则上，数学是可以理解的。为了攻击希尔伯特的这一问题，图灵精确的定义了算法的含义，并描述了我们现在所称的图灵机器（Turing machine）：可以执行任何算法的单一通用可编程计算设备。从那时起，计算机逐渐发展成为了一个产业，数十亿台基于图灵模型的计算机已经售出。