数学小故事：数学家的“健忘”

我国数学家吴文俊教授六十寿辰那天，仍如往常，黎明即起，整天沉浸在运算和公式中。

有人特地选定这一天的晚间登门拜访，寒暄之后，说明来意：“听您夫人说，今天是您六十大寿，特来表示祝贺。” 吴文俊仿佛听了一则新闻，恍然大悟地说：“噢，是吗？我倒忘了。” 来人暗暗吃惊，心想：数学家的脑子里装满了数字，怎么连自己的生日也记不住？

其实，吴文俊对日期的记忆力是很强的。他在将近花甲之年的时候，攻克了一个难题——机器证明。这是为了改变数学家“一支笔、一张纸、一个脑袋”的劳动方式，运用电子计算机来实现数学证明，以便数学家能腾出更多的时间来进行创造性的工作，他在进行这项课题的研究过程中，对于电子计算机安装的日期、为计算机最后编成三百多道“指令”程序的日期，都记得一清二楚。

提醒：

尽在