数学家的“健忘”

在中国数学家吴文俊教授60岁生日那天，他像往常一样，一大早就起床，整天沉浸在计算和公式中。

有些人特意选择了这天晚上去拜访门口。问候之后，他们陈述了他们的目的:“我听你妻子说今天是你的60岁生日，所以我想祝贺你。”吴文俊似乎听到了一条消息，突然意识到，“哦，真的吗？我忘了。”送信人暗暗吃惊，心想:数学家的脑子里满是数字，他们怎么会不记得自己的生日呢？

事实上，吴文俊对日期有很强的记忆力。当他接近60岁时，他首先解决了一个难题——“机器证明”。这是为了改变数学家“一支笔、一张纸、一个脑袋”的工作方式，并利用电子计算机实现数学证明，这样数学家就可以腾出更多的时间进行创造性的工作。在这个课题的研究过程中，他清楚地记得电子计算机安装的日期，以及300多个“指令”程序最终为计算机编译的日期。