惊悉敬爱的吴文俊先生不幸逝世，深感悲痛.  

　　早在上世纪 50 年代，我在北大读书时，得知先生在拓扑学领域做出国际领先的工作，获得国家首届自然科学奖一等奖，非常敬仰并 深受激励.1978 年，学习了先生有关几何命题机械化判定的论文，大受鼓舞启发，决心追随先生从事数学机械化的研究.  

　　吴文俊先生的著作和言谈身教，指引我们的研究工作持续前进； 他对从事数学机械化研究的团队，关怀备至.为了帮助我获得出国交 流进修的机会，先生曾手书长达 3 页的英文推荐信；为了促进研究工作中理论与实践的结合，先生筹划经费为我们购置了第一台 386 计算 机.为中国数学机械化研究队伍的茁壮成长，先生呕心沥血；他对我们学术晚辈的扶持帮助，令人终生铭记！  

　　吴文俊先生的研究成果已经载入史册，并被写入教科书；他的伟 大学术思想将千古流传；先生永远活在我们心里！  

　　吴文俊先生永垂不朽！ 

晚 张景中 2017年5月7日