读书---复杂
希尔伯特世纪之交数学的十大问题
1. 数学是不是完备的?也就是说,是不是所有数学命题都可以用一组有限的公理证明或证否。
2. 数学是不是一致的?换句话说,是不是可以证明的都是真命题?
3. 是不是所有命题都是数学可判定的?也就是说,是不是对所有命题都有明确程序(definite procedure)可以在有限时间内告诉我们命题是真是假?
前面三个命题的答案都是否
意思是数学不可能完备的,又是一致的,比如对于命题:这个命题是之后假命题,不能证明,第一个不满足,证明了第二个不满足。
第三个也是否,过程需要设计计算机的理论


雷达卡




京公网安备 11010802022788号







