数学、形式逻辑和算法殊途同归导致计算机发明

💡 原文中文,约1700字,阅读约需4分钟。
📝

内容提要

计算机的发明最初是为了证明数学是不一致和不完整的。希尔伯特相信每一个数学问题都有明确的答案,但哥德尔的不完备性定理摧毁了这一设想。图灵发明了图灵机,成为未来计算机的模型。哥德尔基本上发明了虚拟机,用它来证明复杂数学具有未定义的行为。

🏷️

标签

➡️

继续阅读