徐利治和朱梧槚的酸楚
1900年8月8日,在法国巴黎举行的展望新世纪国际数学家代表大会上,被誉为无冕数学之王的希尔伯特发表了《数学问题》的著名演讲,列举了23个尚未解决的重大数学问题,其中之一就是“连续统假设”,它是集合论的创始人康托尔于1882年提出的,他曾说自己已经解决,并即将公布他的证明,但是,直到康托尔逝世,人们也未见到他的证明结果。
许多人都试图攻克这个堡垒,摘取“连续统假设”的桂冠。本世纪50年代初,东北人民大学(现吉林大学)徐利治教授和年轻教师朱梧槚也在共同致力于攻克这一难题,他们从1956年到1957年,连续发表了4篇研究“连续统假设”的论文,其中《超穷过程论的基本原理》与《在朴素集论与超穷过程论观点下的康托尔连续统假设的不可确定性》被列为国家级重要论文,并在1957年5月中科院第2次学部论文报告会上宣读,其主要结论是获得了连续统假设不可判定的正确思想和得出了一个朴素而直观性证明。所谓不可判定,是指既不能证明连续统假设为真,也不能证明连续统假设为假。苏联《数学文摘》陆续评价了这四篇论文,特别指出:“连续统假设不可确定性”是一种全新的思想。徐利治和朱梧槚经过几年艰苦奋斗,已经开始找到了解决问题之正确途径,攻克这一堡垒指日可待了。
就在他们全力攻关的时候,中国大陆掀起了一场强烈的政治风暴,反右斗争开始了,二人同被这场风暴从山巅卷进了谷底,合作研究也被迫中断。
1963年,美国数学家科恩完成了连续统假设相对于ZFC公理系统独立性的证明,也就是说连续统假设相对于ZFC公理系统来说是不可判定的。这是60年代集合论的最大进展之一,被列为60年代美国十大科学成就之一。在美国数学界弹冠相庆的时候,徐利治和朱梧槚的心里充满了不可名状的酸楚,若不是那场政治风暴,这一桂冠怎么会落在别人的头上?
骏马需要疆场、英雄需要舞台,英雄战死沙场,何等光荣,何等轰轰烈烈。英雄宁愿在乘胜前进时倒下,也不愿于胜利在望时班师。