数学、形式逻辑和算法殊途同归导致计算机发明
原文中文，约1700字，阅读约需4分钟。发表于：。大多数人不知道，计算机的发明最初是为了证明数学是不一致和不完整的。对许多数学家来说，这是一个令人深恶痛绝的时刻。 希尔伯特 故事要从德国数学家大卫-希尔伯特（David Hilbert）说起。1900 年，在巴黎举行的国际数学家大会上，希尔伯特列出了 23 个尚未解决的数学问题。但正是他提出的第二个问题，即算术 一致性 的形式证明，推动了我们今天所知的计算机的发明。...
计算机的发明最初是为了证明数学是不一致和不完整的。希尔伯特相信每一个数学问题都有明确的答案，但哥德尔的不完备性定理摧毁了这一设想。图灵发明了图灵机，成为未来计算机的模型。哥德尔基本上发明了虚拟机，用它来证明复杂数学具有未定义的行为。
