「从未被制造出的最重要机器」，艾伦·图灵及图灵机那些事

---

计算是我们大多数人凭直觉就能理解的一个熟悉概念。我们以函数 f (x) = x + 3 为例，当 x 为 3 时，f (3) = 3 + 3。答案是 6，非常简单。很明显，这个函数是可计算的。但是有些函数并非那么简单，而且要确定它们是否可以计算也非易事，这意味着它们可能永远都无法得出一个最终答案。

1928 年，德国数学家大卫・希尔伯特（D*id Hilbert）和威廉・阿克曼（ Wilhelm Ackermann）提出了一个名为 Entscheidungsproblem（即「判定性问题」）的问题。随着时间推移，他们提出的这个问题将引出可计算性的正式定义，这个定义使数学家能够回答大量新问题并为理论计算机科学奠定基础。

一位 23 岁名叫艾伦图灵的研究生提出了这个定义，他在 1936 年写了一篇开创性论文，不仅将计算的概念形式化表达了出来，还证明了数学的一个基本问题，为发明电子计算机创造了知识基础。图灵的伟大远见在于以抽象机器的形式为计算问题提供了具体的答案，后来他的博导阿朗佐丘奇将其命名为图灵机。

图灵机是抽象的，因为它没有（也不能）作为有形设备物理存在。相反，它是一个计算的概念模型：如果这个机器可以计算一个函数，那么这个函数就是可计算的。

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜

当艾伦图灵在 1936 年发明图灵机时，也创造了现代计算。

艾伦・图灵及他的图灵机

它的工作原理是这样的：图灵机可以按照规则表的规定读取和更改无限长磁带上的符号。磁带是由一个个「单元格」组成，每个单元格只能存储一个符号。图灵机用磁带头读取和重写单元格的内容。规则表中的每条规则都会决定图灵机应该根据它当前的状态和正在读取的符号来做什么。图灵机可以基于它停止的位置来进入最终状态（「接受状态」或「拒绝状态」），决定接受或拒绝输入。或者图灵机陷入无限循环并永不停歇地读取磁带。

理解图灵机的最好方法是来思考这样一个简单的例子。让我们想象一下，图灵机被设计用于告诉我们给定的输入是否为数字零。我们将输入带有空白符号 (#) 的数字 0001，也就是说「#0001#」是我们磁带的相关部分。

图灵机从初始状态开始，我们称之为 q0，它读取磁带最左边的单元格并找到一个空白区域。按照规则，当处于状态 q0 时，如果符号是 #，则保持原样不变，然后向右移动一个单元格，并将机器状态更改为 q1。在这一步之后，机器处于状态 q1，它的磁头将正在读取第二个符号 0。

现在我们寻找适用于这些条件的规则。我们发现这样一个规则，「保持状态 q1 并将磁头向右移动一个单元格。」这使我们处于相同的位置（在状态 q1 中，读数仍为 0），因此我们继续向右移动，直到磁头最终读取到一个不同的数字 1。

当我们再次查阅规则表时，我们发现了一条新规则：「如果遇到 1，则转换到 q2，即拒绝状态。」图灵机停止运行，并对最初的问题「0001 是零吗？」回答「否」。

相反，如果输入是「#0000#」，图灵机将在所有这些零之后遇到 #。当我们查阅规则表时，我们发现一条规则说这意味着机器进入状态 q3，即一种「接受」状态。现在机器对「‘0000’是零吗？」这一问题的回答则为「是」。

艾伦图灵帮助定义了计算、算法和图灵机。

ChatGPT Writer

免费 Chrome 扩展程序，使用 ChatGPT AI 生成电子邮件和消息。

106 查看详情

用抽象机器回答判断性问题

图灵使用他的抽象机器建立了一个计算模型，来回答 Entscheidungs 问题，它正式提出：给定一组数学公理，是否存在一个机械过程（即一组指令，今天我们称之为算法）总是可以确定给定的陈述是否为真？

假设我们想找到一种算法来告诉我们某个棋局中棋子位置是否可行。在这其中，公理是管理国际象棋合理移动的规则。我们能否按照有限的 step-by-step 流程序列到达该位置？尽管某些棋局可能需要比我们一生更长的时间来分析，一种算法可能会生成所有可能的局面并将其逐个与输入进行比较，此类算法存在于国际象棋游戏之中。因此，我们说国际象棋是「可判定的」。

然而，在 1936 年，美国数学家丘奇和图灵使用不同的方法分别证明了「没有通用方法可以解决 Entscheidungs 问题的每个例子。」 例如，约翰康威的生命游戏等一些游戏是不可判定的：没有算法可以确定某一模式是否会从初始模式出现。

图灵表明了，如果存在可以执行所需任务的算法，则函数是可计算的。同时，他还表明算法是一个可以用图灵机定义的过程。因此，可计算函数是一种可通过图灵机来计算的函数。这似乎是一种定义可计算性的迂回方式，但却是我们所拥有的最好方式。

麻省理工学院理论计算机科学家迈克尔・西普瑟表示：「这并不是说你可以选择用其他方式来定义它。我觉得人们普遍认为，邱奇 - 图灵论题提出的是，算法的非正式概念就是任何合理计算模型可以做到的事情。」其他数学家提出了不同的计算模型，虽然这些模型表面上看起来很不一样，但实际上是相同的：它们可以进行图灵机可以进行的任何计算，反之亦然。

就在哲学家、逻辑学家和数学家库尔特・哥德尔证明数学是不完备的几年后，丘奇和图灵也通过这项工作表表明了数学中的某些问题是不可判定的。无论算法多么复杂，都无法告诉我们答案是肯定还是否定。这两件事对希尔伯特来说都是毁灭性的打击，他曾希望数学能给出简洁、理想化的答案。但这倒也不错：如果存在解决 Entscheidungsproblem 问题的一般解决方案，这将意味着数学中的所有问题都可以被简化为简单的机械计算。

通用和概率图灵机

除了回答这些基本问题之外，图灵机还通过一种称为通用图灵机的变体直接影响了现代计算机的发展。它是一种特殊的图灵机，可以模拟任何其他图灵机的任何输入。它可以读取其它图灵机的描述（以及规则和输入磁带）并在自己的输入磁带上模拟它们的行为，与模拟机器输出相同的输出结果，就像今天的计算机可以读取任何程序并执行它一样。

1945 年，美籍匈牙利数学家、计算机科学家、物理学家约翰・冯・诺依曼提出了一种计算机架构 —— 即冯・诺依曼架构，它使得通用图灵机概念变为现实生活中的机器成为可能。

当普林斯顿大学理论计算机科学家 Sanjeev Arora 教授这个概念时，他强调了更广泛的哲学描绘。他表示，「通用（universal）有两种概念，一个是它可以运行任何其他图灵机。，但另一个更大的概念是它可以运行你在宇宙中想出的任何计算。」在经典物理学世界中，任何物理过程都可以使用算法进行建模或模拟，而算法又可以由图灵机进行模拟。

另一个值得关注且越来越有用的变体是概率图灵机。与对每个输入都有定义明确回应的常规图灵机不同，概率图灵机可以根据概率做出多种回应。这意味着它可以在不同的时间点对相同的输入产出不同的结果。另外出人意料的是，对于某些问题，这种概率策略比纯粹的确定性方法更有效。概率图灵机的概念已被证明在优化和机器学习等领域非常有用。

这些抽象机器也许是最好的证据，证明提出基本问题可能是科学家能够做的最有用的事情之一。

以上就是「从未被制造出的最重要机器」，艾伦·图灵及图灵机那些事的详细内容，更多请关注其它相关文章！

# 告诉我们  # 怎么提升seo排名推广  # 节日登录页面seo策略  # 怎样做网站后端兼职推广  # 淘宝网站建设可信吗  # 网站优化与百度收录  # 点评营销推广策划案例范文  # 象山问答推广营销  # 虎丘企业网站建设服务  # 武清区营销推广网点  # seo链接怎么还原  # AI  # 未被  # 可计算  # 它可以  # 提出了  # 最重要  # 单元格  # 开源  # 艾伦  # 图灵  # 机器 

相关栏目： 【 Google疑问12 】 【 Facebook疑问10 】 【 优化推广96088 】 【 技术知识133117 】 【 IDC资讯59369 】 【 网络运营7196 】 【 IT资讯61894 】

相关推荐： 视觉中国推出付费AI绘图功能：无版权可用  陈根：AI工具为游戏软件实时3D内容助力  RoboNeo安装教程  解决导航“最后50米”难题 高德地图升级AR步行导航找终点功能  BLIP-2、InstructBLIP稳居前三！十二大模型，十六份榜单，全面测评「多模态大语言模型」  揭晓2025年玻尔兹曼奖：Hopfield网络创始人荣获奖项  特斯拉人形机器人将于 7 月亮相上海 2025 世界人工智能大会  轻量级的深度学习框架Tinygrad  揭秘AI数字人语录：抖音AI小和尚、老者语录能赚钱吗？  百度举办AIGC创作沙龙，现场传授AI绘画“咒语”技巧  人工智能助力精准学习，猿辅导小猿学练机满足学生个性化学习需求  企业软件行业更将被AI全面重构！Moka李国兴：未来优秀组织和个人将一定是善于使用AI生产力的  深圳人工智能企业超1900家  如何用户外电源给无人机实现持久续航  AI时代，企业需要什么样的员工？  Meta 为打造元宇宙不惜下血本：VR 开发者年薪高达百万美元  首家承认ChatGPT影响其收入的公司Chegg选择拥抱AI ，裁减4%员工  自动驾驶汽车避障、路径规划和控制技术详解  国产医疗企业的人工智能  农业产业升级：AI驱动的“崃·见田”开启农田未来展望  当科幻走进现实 脑机接口新技术能为生活带来哪些惊喜？  跑不动的元宇宙，虚拟世界比现实更冷酷  人工智能即将进入Windows：企业准备好安全策略设置了吗?  绿联发布笑脸屏幕显示充电状态的30W/65W Q湃机器人充电器  苹果式 AI 哲学：不着一字，处处落子  小艺将具备大模型能力，鸿蒙4加速AI普及之路  找对了风口想不火都难，乐天派机器人，安卓机器人的最终形态？  人工智能行业急缺人 AI人才年薪能达近42万元  构建AI绘画网站的方法：使用API接口和调用步骤  2025智源大会AI安全话题备受关注，《人机对齐》新书首发  ​日媒：AI高效解析纳斯卡地画  令人惊叹！AI模型能够以iPhone照片为基础创作诗歌  鉴智机器人发布基于地平线征程5的标准视觉感知产品  Meta发布"类人"AI图像创建模型，能解决多出手指等Bug  AI赋能艺术 超现实达利奇幻之旅在沪开启  人才智能平台转型中的人工智能的关键角色  美版贴吧8000小组自爆停摆！拒绝数据被谷歌OpenAI白嫖，CEO被网友骂翻：背刺第三方应用  先进技术在防止全球数据丢失方面的作用  生成式AI对云运维的3大挑战  让AI助手带您轻松愉快地享受写作之旅  大脚攀爬者车主福利！无人机、运动相机大奖等你来挑战  人工智能创作的“婴儿版超级英雄”，你觉得哪个最可爱  DreamAvatar数字人使用教程  iPhone两秒出图，目前已知的最快移动端Stable Diffusion模型来了  原小米 9 号员工李明打造全球首款 AI 安卓桌面机器人  联想浏览器引入小乐 AI 助手，成功接入百度文心一言大模型，经过实测证实  Stability AI 推出文生图模型 SDXL0.9，GPU要求下探至消费级水平  AI创作广告文案等同2.47年工作经验，且消费者无法区分｜AI营销前沿  1.6亿美元收购Singularity AI，昆仑万维布局通用人工智能  世界周刊丨AI“棱镜”？ 

 2023-06-25