1979年,吴文俊偕夫人陈丕和,与著名数学家陈景润赴美访问,这是吴文俊第一次访问美国。访问归来,吴文俊的《出国访问报告》总结了其在美国期间的活动成果及美国数学的发展情况。尤其是对数学机械化的发展,吴文俊进行了深刻和...[继续阅读]

    经过20世纪50-60年代的影响,吴文俊在数学研究的方向上有了很多个人的看法,其中重要的一点就是纯数学的应用问题。吴文俊曾这样说道:……数学所这座与现实世界隔绝的纯粹数学的殿堂,终究难免要受到外界狂风暴雨的冲击。“文化...[继续阅读]

    数学机械化的意义就是使脑力劳动机械化。钱学森先生重要的著作《控制论》的序言里面曾介绍了维纳(N.Wiener)的一些见解。维纳是美国的一个大数学家,控制理论奠基人。钱先生是这样说的,维纳讲“第一次工业革命是人手由于及其...[继续阅读]

    所谓机械化,吴文俊说:“无非是刻板化和规格化。机械化的动作由于简单刻板,因而可以用机器来实现,又由于往往需要反复千百万次,超出了人力的可能,因而又不能不让机器来实现。”所谓数学机械化,即对一类定理提供一种统一的方...[继续阅读]

    1990年年初,北京大学教授、数学家程民德主持编写了一份介绍机器证明研究在国际上的巨大反响的材料,内容包括国际著名学者对吴文俊的研究成果的赞誉;国外学术期刊登载的吴文俊的论文及专集介绍、研究吴文俊的成果;吴方法在国...[继续阅读]

    为了支持吴文俊的数学机械化工作,陈省身创办的南开数学所在1991年举办了“计算机数学年”。学术年内,组织了第一次数学机械化研讨会,国内几十位专家参加会议,数学机械化研究的队伍已粗具规模。同年,吴文俊荣获第三世界科学...[继续阅读]

    1999年,在数学天元基金成立10周年时,吴文俊畅谈了中国成为数学大国的步骤:第一步是规划,当时已经有了;第二步赶超日本;第三步,赶欧美。天元基金,即国家自然科学基金委员会数学天元基金,1989年在胡国定、程民德、吴文俊等数学家...[继续阅读]

    “一切绝妙的美都显示出奇异的均衡关系”(培根),“美是各部分之间以及各部分与整体之间固有的和谐”(海森堡),在英国哲学家培根和德国物理学家海森堡对美的定义中,美即是数学。对数学美感的体验和审美能力是进行一切数学研...[继续阅读]

    流传着这样一个关于数学家的笑话:某一数学家觉得自己已受够了数学,于是跑到消防队去宣布他想当消防员。消防队长说:“你看上去不错,可是我得先给你做个测试。”消防队长带数学家到消防队后院小巷,巷子里有一个货栈、一只消...[继续阅读]

    1956年,吴文俊获得国家自然科学一等奖,那是当时国家的最高科技奖;40多年后的2000年,吴文俊再一次获得了国家的最高科技奖——国家最高科学技术奖。如此长的学术生命,在数学界是非常罕见的。吴文俊是如何保持自己如此年轻的学...[继续阅读]