Kurt Gödel

概述

奥裔美籍逻辑学家、数学家，以其不完备定理闻名于世。这些定理颠覆了数学基础研究的方向，并为图灵等人解决判定问题铺平了道路。

关键内容

1. 不完备定理：
2. 第一不完备定理：任何足够强大的一致形式系统中都存在既不能被证明也不能被反驳的命题
3. 第二不完备定理：这样的系统无法证明自身的一致性

4. 1931年发表，比图灵解决判定问题早了5年

5. 对后续研究的影响：

6. 动摇了希尔伯特纲领的根基
7. 为图灵等人的工作提供了重要的理论背景

8. 虽然不完备定理没有直接解决判定问题，但为其提供了重要思路

9. 历史意义：

10. 展示了数学真理的范围永远超出任何单一形式系统的证明能力
11. 为计算理论的发展奠定了基础
12. 被誉为20世纪最重要的数学逻辑成果之一

来源

• On_Computable_Numbers — 历史背景介绍
• [[]] —

相关

• 不完备定理 — proved
• 判定问题 — influenced_solution_to
• David_Hilbert — addressed_work_of
• Alan_Turing — influenced_work_of
• 希尔伯特纲领 — challenged