的图灵机

阿兰·图灵,而数学的学生剑桥大学灵感来源于德国数学家大卫希尔伯特死板的计划,该计划试图证明任何数学问题可以通过一个算法来解决,一个纯粹的机械过程。图灵解释这意味着计算机,着手设计一个能解决所有的数学问题,但是在这个过程中他证明开创性的纸”可计算的数字,与应用程序的Entscheidungsproblem['停止问题']”(1936),从来没有这样的通用数学解算器可能存在。

为了设计他的机器(已知子孙后代为“图灵机”),他需要找到一个明确的定义计算机的本质。这样做,图灵制定详细的基本概念通用计算机器,计算机可能,至少在理论上,任何一个特殊用途的计算设备。特别是,它不会是有限的算术。机器的内部状态可以代表数字,但他们同样可以代表逻辑值或字母。事实上,图灵认为一切可以象征性地表示,即使是抽象的心理状态,他是第一个提倡的人工智能位置,电脑可能会“思考”。

图灵的工作,完全是抽象的,完全一个理论演示。然而,他从一开始就明确表示,他的研究结果暗示的可能性建筑机器的描述。他的作品特点的抽象本质任何计算设备,它实际上是一个实际构建一个挑战。