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

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

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