我國數(shù)學(xué)家吳文俊教授六十壽辰那天，仍如往常，黎明即起，整天浸沉在運算和公式中。

　　有人特地選定這一天的晚間登門拜門拜訪，寒暄之后，說明來意：“聽您夫人說，今天是您六十大壽，特來表示祝賀。” 吳文俊仿佛聽了一件新聞，恍然大悟地說：“噢，是嗎？我倒忘了。” 來人暗暗吃驚，心想:數(shù)學(xué)家的腦子里裝滿了數(shù)字，怎么連自己的生日也記不住？

　　其實，吳文俊對日期的記憶力是很強的。他在將近花甲之年的時候，又先攻了一個難題——“機器證明”。這是為了改變了數(shù)學(xué)家“一支筆、一張紙、一個腦袋 ”的勞動方式，運用電子計算機來實現(xiàn)數(shù)學(xué)證明，以便數(shù)學(xué)家能騰出更多的時間來進行創(chuàng)造性的工作，他在進行這項課題的研究過程中，對于電子計算機安裝的日期、為計算機最后編成三百多道“指令”程序的日期，都記得一清二楚。