第455章 哥德尔定理

    哥德尔对于所谓的所有东西都可以被计算这样的问题词嗤之以鼻。
    对于策梅洛的ZF公理，总会有问题存在，不可能对于数学计算是完备的。
    “谁也不能证明他们的功力系统，即是完备的，又是可靠的。”
    哥德尔认为这可以打败任何一个自称可以自圆其说的理论系统。
    “对于任意可靠的公理和推理规则系统S，必存在正确的数论结论不能在S中被证明。”哥德尔证明这个震惊世界的理论。
    对于聪明的科学家和数学家，就明白自己只能无限接近真理而无法到达真理。
    只有倔强的爱钻牛角尖的人才觉得自己可以统一宇宙。
    关于高斯-博内-陈定理
    平面上任一三角形的三内角之和恒等于π，对于一般曲面上由三条测地线构成的三角形，其内角和等于π加上高斯曲率K在此三角形所围曲面上的积分.喜欢数学大帝请大家收藏：(663d.com)数学大帝六六闪读更新速度最快。到六六闪读（www.663d.com）
    看剑来