第230章 178希尔伯特不服输 (第3/8页)

明白，自己这个学生同样也认为，陈慕武的不完备性定理，推翻了一直以来都寻求创立的那个宏伟计划。

    ??前有罗素，後有外尔，这两个人都说希尔伯特计划不可能实现。

    ??他双手颤抖着放下信，空洞的双眼里充满着迷茫。

    ??前一秒，希尔伯特还在琢磨着给陈慕武送到爱琴海中洗一个海水澡。

    ??但这一秒，他的大脑中只有一个念头，我错了？我真的错了？

    ??希尔伯特突然又想到自己那个英年早逝的老朋友，庞加莱，在由罗素悖论引发的第三次数学危机被暂时解决之後，打的那个比方。

    ??“为了防狼，我们用篱笆把羊群圈了起来。可谁也不知道，现在篱笆里面还有没有狼。”

    ??庞加莱话中的狼，指的就是以罗素悖论为代表的那一系列语义悖论，羊群则是数学大厦。

    ??而篱笆，则是策梅洛在1904年提出来的公理体系，又被弗兰克尔於1922年加固完善。

    ??没错，ZF公理体系解决了第三次数学危机，解决的办法不是证明了罗素悖论不是悖论只是佯谬，而是像驱赶狼一样，把罗素悖论里面构造的那种集合，排除在了集合论之外。

    ??可怜的希帕索斯，rou体被消灭在了大海里。

    ??罗素比希帕索斯稍微幸运那麽一点，他被消灭的只有自己的思考而已。

    ??现在，狼，又出现了。

    ??上一只狼是罗素搞出来的，而搞出这一只来的，是罗素在剑桥大学的学生，陈慕武。

    ??要说这帮英国佬还真是烦人，他们总能