哥德尔，数学逻辑巨星与不完备定理

哥德尔是数学逻辑领域的杰出人物，他提出的哥德尔不完备定理意义深远，该定理表明，任何一个包含了算术系统的形式系统，都存在既不能被证...

阅读全文