极道 · 2023-08-23T09:05:00Z 数学、形式逻辑和算法殊途同归导致计算机发明 💡 原文中文，约1700字，阅读约需4分钟。 📝 内容提要 计算机的发明最初是为了证明数学是不一致和不完整的。希尔伯特相信每一个数学问题都有明确的答案，但哥德尔的不完备性定理摧毁了这一设想。图灵发明了图灵机，成为未来计算机的模型。哥德尔基本上发明了虚拟机，用它来证明复杂数学具有未定义的行为。 🏷️ 标签 哥德尔不完备性定理 图灵机 希尔伯特 数学不完整性 算法 计算机 计算机发明 阅读原文 生成长图 分享链接 已复制链接
