央视采访吴文俊先生
来源:互联网 发布:白丝魔理沙聊天软件 编辑:程序博客网 时间:2024/04/26 20:02
前天央视的《大家》栏目采访了吴文俊老先生。吴老先生是数学界的泰斗,37岁就因为在拓扑学上的突出贡献而与钱学森、华罗庚一起荣获中华人民共和国第一届自然科学一等奖。而后,他又于50多岁时在定理机器证明和中国古代数学的基础上开创了一个崭新的数学领域——数学机械化。由于吴先生许多重大的原创性贡献,国际上把由他率领的一批中国研究者称为吴学派。后来吴先生又和袁隆平先生一起获得了首届国家最高科学技术奖。
数学机械化可能是我国为数不多的领先世界的研究领域。相关的还有几何定理机器证明,其中尤以张景中先生和杨路先生率领的团队最为突出。他们的主要成果有平面几何定理机械证明的消点法、可读性证明的生成、不等式的自动证明。
在采访中还披露了曾经有4位菲尔兹奖获得者大量引用吴先生在拓扑学上的的研究成果。据吴先生自己说,如果当初他没有在建国初期回到祖国而是继续留在国外,那么他自己也很有可能获这个奖。不过吴先生并不遗憾,因为虽然他留在国外也能做出很多成果来,但是如果不回到国内的话,他就根本不可能有今天这种对中国古代数学的彻底认识(中国古代数学机械化、算法化的精髓正是吴老第一个揭示的),而这正是他最为自豪的研究成果。
节目中吴先生还讲了一个小故事,说在一次会议上有个数学所的专家质问他:“国外搞定理自动证明都用数理逻辑的方法,你为什么不用?”。他一听就发火了(吴先生自称很少发火),反驳说:“为什么别人用的方法我就一定要用?我自己就要用和别人不一样的方法!”。后来正是因为采用了与逻辑方法不同的代数法,吴先生在自动推理领域走出了一条新的宽广道路,该方法也被称为吴方法。
我以前还听说过吴老是60多岁开始学习计算机编程的,那个时候他总是数学所机房最后一个回家的人,甚至连年三十都如此。
八卦起来的话,我和吴先生的关系路径并不长,具体是这样的:计算机系的一位李志斌老师是973计划中“数学机械化”项目一个子课题的负责人,算是吴派的弟子吧,而我读研的导师则是这位李老师的学生。所以,厚颜一点说,我也算是吴先生的弟子了。嘿嘿,能和大师扯得上这样的关系,真是我的荣幸!
数学机械化可能是我国为数不多的领先世界的研究领域。相关的还有几何定理机器证明,其中尤以张景中先生和杨路先生率领的团队最为突出。他们的主要成果有平面几何定理机械证明的消点法、可读性证明的生成、不等式的自动证明。
在采访中还披露了曾经有4位菲尔兹奖获得者大量引用吴先生在拓扑学上的的研究成果。据吴先生自己说,如果当初他没有在建国初期回到祖国而是继续留在国外,那么他自己也很有可能获这个奖。不过吴先生并不遗憾,因为虽然他留在国外也能做出很多成果来,但是如果不回到国内的话,他就根本不可能有今天这种对中国古代数学的彻底认识(中国古代数学机械化、算法化的精髓正是吴老第一个揭示的),而这正是他最为自豪的研究成果。
节目中吴先生还讲了一个小故事,说在一次会议上有个数学所的专家质问他:“国外搞定理自动证明都用数理逻辑的方法,你为什么不用?”。他一听就发火了(吴先生自称很少发火),反驳说:“为什么别人用的方法我就一定要用?我自己就要用和别人不一样的方法!”。后来正是因为采用了与逻辑方法不同的代数法,吴先生在自动推理领域走出了一条新的宽广道路,该方法也被称为吴方法。
我以前还听说过吴老是60多岁开始学习计算机编程的,那个时候他总是数学所机房最后一个回家的人,甚至连年三十都如此。
八卦起来的话,我和吴先生的关系路径并不长,具体是这样的:计算机系的一位李志斌老师是973计划中“数学机械化”项目一个子课题的负责人,算是吴派的弟子吧,而我读研的导师则是这位李老师的学生。所以,厚颜一点说,我也算是吴先生的弟子了。嘿嘿,能和大师扯得上这样的关系,真是我的荣幸!
- 央视采访吴文俊先生
- 西天取经采访(时寒冰先生大作)
- 这个世界没好过-虚拟采访鲁迅先生
- 大�正则先生采访相关信息点整理
- Scott先生在接受CSDN采访时的对开发人员的建议
- 现实世界的Windows Azure:采访Tata Consultancy Services的业务发展经理,Sebastian Iglesias先生
- 现实世界的Windows Azure:采访Gizmox 研发中心的副总裁Itzik Spitzen先生
- 现实世界的Windows Azure:采访Threeplicate创始人之一Dario Solera先生
- 现实世界的Windows Azure:就Metanga采访MetraTech公司CEO,Scott Swartz先生
- •迭代和增量的过程改进方法——采访Jeff Dalton先生纪实
- 《先生》
- WoYou.net小编eの蜗牛对连邦软件市场经理韩亮先生的简短采访
- 央视女主播露腿门
- 央视广告费用
- 央视广告费用
- 采访上帝
- 采访上帝
- 采访蒋涛两篇
- Linux逻辑盘卷管理LVM详解
- CoreJava day2 笔记
- ◆ 老程序员十年生涯黯然总结 ◆------转贴
- 申请成了二级
- 程序人生:一个程序员的奋斗历程
- 央视采访吴文俊先生
- 等啊,等啊,再过三天就能拿到640M了,我等
- 刚写的一个俄罗斯方块程序
- NETCF开发之注册表编程(2)
- 遭遇Viking/威金新变种、Trojan-PSW.Win32.WOW.do等(一)
- 网友C的俄罗斯方块程序
- 使用 typedef 抑制劣质代码
- C++资源之不完全导引(完整版)
- 关于FC核心下selinux的介绍