读书---复杂

希尔伯特世纪之交数学的十大问题

1. 数学是不是完备的？也就是说，是不是所有数学命题都可以用一组有限的公理证明或证否。

2. 数学是不是一致的？换句话说，是不是可以证明的都是真命题？

3. 是不是所有命题都是数学可判定的？也就是说，是不是对所有命题都有明确程序（definite procedure）可以在有限时间内告诉我们命题是真是假？

前面三个命题的答案都是否

意思是数学不可能完备的，又是一致的，比如对于命题：这个命题是之后假命题，不能证明，第一个不满足，证明了第二个不满足。

第三个也是否，过程需要设计计算机的理论