数学理论


走进计算机文化史 5 - 一个无法证明的逻辑问题

前三期我们用恩尼格码的制造与破解阐述了一个用机器战胜机器的故事。这也可以说是人们对计算机概念进行实践的一个起点。那么计算机的概念又是从何而来呢?本期我们回到20世纪初页,从一个数学的逻辑问题开始讲起。
17年10月4日 阅读 (1664) 有用 (10)