游走在晚清的乱世理工男 第682节（4 / 4）

  “啊——”连虞和钦都闹不明白李谕想说什么了，“院士先生，这……”
  李谕继续说：“德国的数学家马上就会给出证明，任何一个包含皮亚诺算术公理的公理体系，如果它是自洽的，那在这个体系内，就一定存在某个命题既不能被证明也不能被证伪。换句话说，就是自洽性和完备性不能同时满足。”
  李谕说的当然就是大名鼎鼎的哥德尔不完备定理，只不过哥德尔还没给出证明，不过提前说说无妨，反正国内还没几个人知道这么高深的数学内容。
  “您能再说一遍吗？”
  他们显然没听明白这句话。
  于是李谕又重复了一遍哥德尔不完备定理的内容，然后说：“现在已经有很多例子佐证，比如刚刚到访中国的罗素先生提出的理发师悖论。”
  “某个城市中，有个理发师，他只给本城所有不给自己理发的人理发。那么他到底该不该给自己理发？” ↑返回顶部↑