摘要： 今年五月十二日,是我国杰出的数学家吴文俊教授的七十岁诞辰。吴教授在数学研究上已走过了漫长的道路,取得了多方面的巨大成就,赢得了崇高的国际声誉,成为国际著名的拓扑学家和数学机械化的开创人之一。