历史有这么一个事件,罗素悖论,是关于集合论漏洞的。有个逻辑学家费老大劲写了一部关于集合的著作,已经要印刷了,他收到罗素的信,里面讲了理发师悖论。然后这个人就抓瞎了,书依旧印刷出版了,但这个作者在末尾补了这样一句话“一个科学家所碰到的最倒霉的事,莫过于是在他的工作即将完成时却发现所干的工作的基础崩溃了。” 这就是惨惨惨。
【 在 qtpr 的大作中提到: 】
: 本卢一年之前获得了一个观察,如果能证明,则意义显著又简洁优美。
: 之后做了若干仿真验证,没有发现反例。于是本卢和学生开始着手证明它。一年左右的时间,在几种特殊case下给出了证明。
: 但就在尝试证一般情形时,一个学生发现了一组反例,说明存在一组(可能零测度的)特例使得观察无法一般成立。
: ...................
--
修改:pharisee FROM 114.247.89.*
FROM 114.247.89.*