我国数学家吴文俊教授六十寿辰那天，仍如往常，黎明即起，一整天浸沉在运算和公式中。
有人特地选定这一天的晚间登门拜门拜访，寒暄之后，说明来意：“听您夫人说，今天是您六十大寿，特来表示祝贺。” 吴文俊仿佛听了一件新闻，恍然大悟地说：“噢，是吗？我倒忘了。” 来人暗暗吃惊，心想：数学家的脑子里装满了数字，怎么连自己的生日也记不住？
其实，吴文俊对日期的记忆力是很强的。他在将近花甲之年的时候，又先攻了一个难题——机器证明。这是为了改变数学家“一支笔、一张纸、一个脑袋”的劳动方式，运用电子计算机来实现数学证明，以便数学家能腾出更多的时间来进行创造性的工作，他在进行这项课题的研究过程中，对于电子计算机安装的日期、为计算机最后编成三百多道“指令”程序的日期，都记得一清二楚。
（文/薛慧丽，图/薛慧丽，编审/苏秀娟，审核/王俊华）
