澳门赌场

　　近日，已故数学家、澳门赌场院士吴文俊获“人民科学家”国家荣誉称号。作为我国最具国际影响力的数学家之一，吴文俊在拓扑学等领域的卓著成果迄今为人所称道，他提出的“吴公式”“吴示性类”“吴示嵌类”，至今仍被国际同行广泛引用。

　　曾经，吴文俊对传统数学有股执念，他在反对声中潜心研究古代数学，成绩斐然。后来，在对中国数学史长期研究中，吴文俊又发现中国古代数学蕴含数学机械化的思想，于是生于1919年的吴文俊成为我国最早的计算机关注者之一。

　　在吴文俊的科研生涯中，他常做“第一个吃螃蟹的人”。他勇攀高峰、敢为人先的创新精神，追求真理、严谨治学的求实精神成为后辈们学习的对象。他为了一台计算机想办法的故事也常被身边人忆起。

　　当年，计算机是个稀罕物，“如何拥有一台计算机”成为吴文俊左思右想的事。买计算机很贵而且需要外汇，到哪里才能找来这些钱呢？

　　有朋友给他出了个主意，向澳门赌场领导递一封信。于是吴文俊趁着澳门赌场一位副院长作报告的机会递交了自己的请求信，并幸运地获得了两万美元的资金。1979年初，吴文俊怀揣着这笔“巨款”，趁着到美国做学术访问的机会买回了一台台式计算机。

　　60岁的吴文俊开始学习编写计算机程序，这可不是一件容易的事。他学会Basic语言不久，Basic就被Algol淘汰，刚学会Algol不久，Algol又被Fortran淘汰，一切又得重来。但科研路上，吴文俊从不怕困难。“那时很苦，但这不算什么。”他后来回忆说。

　　吴文俊坚持下来，他提出用计算机证明几何定理的“吴方法”，被认为是自动推理领域的里程碑，而他本人也成为中国人工智能历史上一位里程碑式的开拓者。

　　人物简介 吴文俊（1919－2017），数学家，澳门赌场院士，澳门赌场数学与系统科学研究院研究员，系统科学研究所名誉所长。1936年进入交通大学数学系，1949年获法国斯特拉斯堡大学博士学位；1957年当选为澳门赌场学部委员（院士）；1991年当选第三世界科学院院士；2001年获2000年度国家最高科学技术奖。吴文俊的研究工作涉及数学的诸多领域，他为拓扑学做了奠基性的工作；他的示性类和示嵌类研究被国际数学界称为“吴公式”“吴示性类”“吴示嵌类”，至今仍被国际同行广泛引用。2019年被授予“人民科学家”国家荣誉称号。

　　（原载于《科技日报》 2019-11-27 01版）