第六百六十九章：玩什么田园女权

　　第六百六十九章：玩什么田园女权

　　“……图灵还证明了，我们甚至无法定义图灵机去做一些看似简单的事，例如确定另一台机器是否会打印数字0。图灵构造了一个数理逻辑上的命题，它等价于判定一个特定的图灵机是否将会打印数字0。由于他已经得出这样的‘判定’是不可能的，所以这个命题在逻辑上是不可证明的，因此‘判定性问题不可解’。在引入图灵机的概念之后，哥德尔不完备定理也就有了几种等价的说法；我们会发现每个形......