第3章：图灵的纸带（可计算性）

文档摘要

第3章：图灵的纸带（可计算性）兔狲教授的亲切开场在探索了如何表达世界、如何描述世界的结构之后，我们来到一个更根本的问题：推理的边界在哪里？是否存在一些思维，是任何机器都无法实现的？是否存在一些问题，是任何算法都无法解决的？今天，我们探索计算的极限。核心议题：推理的边界在哪里？又是一个康乐园的黄昏，珠江的晚风带着水汽穿过黑石屋的书房。窗外，木棉花的季节接近尾声，几朵迟开的花在暮色中倔强地红着。书房内，壁炉旁堆着新到的书籍，其中一本《艾伦·图灵传》的封面在灯光下泛着柔和的微光。小小猪正用笔记本电脑测试各种算法的运行时间，屏幕上跳动着时间复杂度的图表。小海豹则在翻阅《逻辑学史》的后半部分，指尖停在"希尔伯特计划"那一页。 “教授，”小小猪突然抬起头，“我有个问题。