|
|||||
|
|
| 吴文俊--从拓扑学到数学机械化 | |
| 引用本文： | 胡作玄.吴文俊--从拓扑学到数学机械化[J].自然辩证法通讯,2003,25(1):81-89. |
| 作者姓名： | 胡作玄 |
| 作者单位： | 中国科学院系统科学研究所,北京,100080 |
| 摘 要： | 吴文梭是中国少数几位有国际声誉和重要影响的数学家之一。本文简短地介绍吴文俊不平坦的学术经历，着重论述他在拓扑学及数学机械化的学术成就及影响。 |
| 关 键 词： | 吴文梭 拓扑学 数学机械化 中国数学史 对策论 |
| 文章编号： | 1000-0763(2003)01-0081-09 |
| 修稿时间： | 2002年3月13日 |
Wu Wen- tsun, From Topology to Mathematics- Mechanization |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |