极道
·
数学、形式逻辑和算法殊途同归导致计算机发明
💡
原文中文，约1700字，阅读约需4分钟。
📝
内容提要
计算机的发明最初是为了证明数学是不一致和不完整的。希尔伯特相信每一个数学问题都有明确的答案，但哥德尔的不完备性定理摧毁了这一设想。图灵发明了图灵机，成为未来计算机的模型。哥德尔基本上发明了虚拟机，用它来证明复杂数学具有未定义的行为。
🎯
关键要点
- 计算机的发明最初是为了证明数学的不一致和不完整。
- 希尔伯特相信每个数学问题都有明确的答案，但哥德尔的不完备性定理摧毁了这一设想。
- 希尔伯特在1900年提出了23个未解决的数学问题，推动了计算机的发明。
- 哥德尔证明了在一致的形式系统中存在无法证明的事实，挑战了希尔伯特的梦想。
- 罗素试图用有限的公理建立无矛盾的数学基础，但最终也未能成功。
- 图灵受希尔伯特的决策问题启发，发明了图灵机，成为未来计算机的模型。
- 图灵发现某些问题是图灵机无法解决的，例如程序是否会停止。
- 不可判定性和不完备性的发现引发了数学界的焦虑，决定论的数学宇宙变得不再确定。
- 邱奇和图灵证明了基本几何问题的算法不可解性，进一步支持了哥德尔的不完备性。
- 哥德尔基本上发明了虚拟机，用于在数学中运行数学，并证明复杂数学具有未定义的行为。
➡️
