希尔伯特纲领

概述

希尔伯特纲领是20世纪初由德国数学家大卫·希尔伯特提出的一个雄心勃勃的计划，旨在将全部数学形式化为一个公理系统，并证明该系统具备一致性、完备性和可判定性。

关键内容

1. 三大目标：
2. 一致性（Consistency）：系统内部不会推导出矛盾
3. 完备性（Completeness）：系统中的每一个真命题都能被证明

4. 可判定性（Decidability）：存在一种机械化的方法，能在有限步骤内判定任意命题的真假

5. 历史背景：

6. 19世纪末至20世纪初，数学界接连遭遇基础性危机
7. 集合论中的悖论（如罗素悖论）动摇了朴素集合论的根基

8. 希尔伯特希望通过形式化方法为数学建立坚实、统一的逻辑基础

9. 关键挫折：

10. 1931年，哥德尔的不完备定理证明了任何足够强的形式系统都无法同时满足一致性和完备性

11. 1936年，图灵和丘奇独立证明了判定问题的否定回答，表明不存在通用算法能判定一阶逻辑命题的真假

12. 历史意义：

13. 尽管最终未能实现全部目标，但推动了数理逻辑和证明论的快速发展
14. 为计算机科学的诞生提供了理论准备

15. 哥德尔和图灵的工作实际上深化了对数学本质的理解

16. 与判定问题的关系：

17. 判定问题（Entscheidungsproblem）是希尔伯特纲领的核心组成部分
18. 图灵在1936年的论文中使用图灵机模型否定了该问题，彻底终结了希尔伯特纲领的可判定性目标

来源

• 01-turing-on-computable-numbers — 历史背景与终结
• 论可计算数及其在判定问题上的应用 — 解决判定问题

相关

• 大卫·希尔伯特 — 提出者
• 哥德尔 — 不完备定理证明者
• 阿兰·麦席森·图灵 — 判定问题终结者
• 丘奇 — 判定问题独立解决者
• 判定问题 — 核心组成部分
• 哥德尔不完备定理 — 终结完备性目标