找回密码
 欢迎注册
楼主: gxqcn

[转载] 世界数学史册上以华人数学家命名的研究成果

[复制链接]
 楼主| 发表于 2008-1-12 20:01:37 | 显示全部楼层

  华人数学家--陈永川

 
  【陈氏文法】数学家陈永川在组合数学方面的研究成果被国际上命名为“陈氏文法”。   

  陈永川教授,出生于1964年3月。现任南开大学副校长,南开数学研究所教授和博士生导师,教育部“核心数学与组合数学”重点实验室主任,并任美国洛斯阿拉莫斯国家实验室客座研究员,Advancesin Applied Mathematics(《应用数学进展》)编委,Graphsand Combinatorics(《图与组合》)编委,Annals of Combinatorics(《组合年刊》)执行编委。陈永川教授还是第十届全国政协委员,天津市科协副主席,国家自然科学基金委员会评审委员。

  陈永川教授于1984年获四川大学计算机软件学士学位,1987年赴美国麻省理工学院学习,1991年获应用数学博士学位。同年被美国洛斯阿拉莫斯国家实验室授予奥本海默研究员奖。陈永川教授在这个实验室从事计算机研究及其应用方面的工作。所在的部门是Computer Research and Applications Group。

  陈永川教授于1994年4月放弃在美国的固定工作和优厚的生活条件,回国到南开数学研究所任教授。他的回国在国内以及海外的留学生中引起了很大的反响,受到国家、天津市和南开大学的重视,各种新闻媒体争先报道。同年,获得美国李氏基金会的学术成就奖。95年荣获首届国家杰出青年科学基金,受到李鹏总理的接见。96年获得国家教委科技进步一等奖,同年被评为天津市十大杰出青年。97年获得联合国教科文组织“侯赛因”青年科学家奖,并受到了天津市委书记张立昌和国家教委主任朱开轩的接见。98年获得国家教委霍英东奖,中国“五四”青年奖章,中国青年科技奖,并作为中国科研教育界的代表出席北戴河“科教兴国”座谈会,受到党和国家领导人的接见。

  1996年陈永川教授创办了国际数学杂志Annalsof Combinatorics(《组合年刊》),并担任执行编委。此杂志与世界上最大的科技出版社,德国斯普林格出版社合作,在国际同行的通讯评议中被评为最高质量的刊物(topqualityjournal)。上届费尔兹(Fields)奖获得者Gowers现已被聘为该刊物新一任的编委。这份刊物为中国组合数学界在世界领域内开创了一个重要的学术阵地。

  天津市政府、国家教委、国家自然科学基金委员会、天津市教委、天津市科委、南开大学以及国内外学术界的广泛支持下,1997年11月,陈永川创立了南开大学组合数学研究中心。他本着高起点、高水平、高速度的发展策略,在很短的时间内把“中心”办成了一个有国际影响的研究机构,每年都有国际著名学者来中心长期工作,直接参与中心的教学和科研工作,这里还凝聚了一批既有坚实的理论基础,又有实干精神的青年学者,学术气氛浓厚。该中心有希望成为有重要国际地位的组合数学研究基地。陈省身先生评价说“陈永川的组合数学中心办得很先进,很成功”。1998年,李岚清副总理、国家教育部部长陈至立、国务院新闻办公室主任赵启正、天津市委书记张立昌、天津市市长李盛霖等领导都先后到组合中心来视察工作。

  陈永川从事的主要研究领域有组合计数理论、构造组合学、形式文法、对称函数理论、计算机互联网络、组合数学在数学物理中的应用等,并取得了许多重要的研究成果,他的一项研究成果被称为"陈氏文法"。陈永川先后在国际一流学术刊物上发表论文40余篇。他的科研成就和学术水平已经获得国际学术界的认可,同行认为他是"世界最领先的离散数学家之一"。1996年陈永川在南开数学所成功的举办了组合数学学术年,1997年和1999年又成功的举办了“组合复兴”大型国际会议。

  陈永川教授在积极开展个人的科研和教学工作同时,把建设中国自己的组合数学研究基地,看成是一个更高层次的目标。他为研究生讲授了“组合数学中的概率方法”、“组合恒等式的机器证明”、“排列与树”、“组合计数”等核心课程,在研究论文方面,还开设了q-级数(q-series)以及组合结构(combinatorial structures)的研讨班,指导学生的研究工作,成果显著。

  为了能使研究生从事最前沿课题的研究,陈永川教授积极引进国际著名学者直接参与组合数学中心的教学和科研工作。现在已经有多名学生直接与外国专家合作发表论文。为此,南开大学组合数学中心这个学术团体和人才培养基地赢得了国际组合数学界的认同。几乎每年都有美国科学院院士来中心讲学,介绍最新的课题。   

  组合数学研究中心与南开大学的基础数学学科于2000年获得了教育部“核心数学与组合数学重点实验室”。由于组合数学中心的发展,2002年又获得了教育部的“应用数学重点学科”。主要由陈永川教授发展起来的组合数学学科,在这么短的时间内的快速发展和赢得的国际影响得到了中国数学界的一致肯定。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-1-12 20:03:28 | 显示全部楼层

  华人数学家--周海中

 
  【周氏猜测】数学家周海中关于梅森素数分布的研究成果被国际上命名为“周氏猜测”。    

  周海中男,1955年10月生,广东雷州人,民盟盟员,广州中山大学外语学院教授。现为美国牛顿信息科学研究所和斯坦福预测研究所顾问以及美中英语教育协会首席顾问,《语言与文学研究》、《语言学研究与应用》、《科学研究月刊》、《中华学术论坛》、《数学论坛》、《机器人世界》等学术刊物的编委会顾问或名誉主任;是《科学美国人》、《瞭望》等刊物的特邀撰稿人以及6个国际学术团体的成员。他曾多次应邀赴美国、加拿大、日本和韩国做专题学术报告,并获得好评。

  1981年至今,他在学术刊物上发表语言学、数学、信息科学、新兴交叉学科方面的论文120多篇;其中论文《存在句之我见》获第3届广东省社会科学优秀成果青年奖(1989年),《论机器人》一文获第6届国际机器人学优秀论文奖(1991年)。科研成果“模糊数理语言学研究”(系列论文)获霍英东教育基金会第2届中国高等院校青年教师(研究类)一等奖(1990年);科研成果“英语语言研究”(系列论文)获首届广东省优秀青年科学家提名奖(1997年)。他提出的“模糊数理语言学”和“网络语言学”受到学术界的关注。在著名数学难题——梅森素数分布的研究中所提出的科学猜想被国际数学界命名为“周氏猜测”。   

  由于科研成绩显著,他被评为首届广州市十大杰出青年(1988年),并获广东省人民政府颁发立功证书(1988年)。1992年起享受国务院颁发政府特殊津贴。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-1-12 20:04:22 | 显示全部楼层

  华人数学家--姜伯驹

 
  【姜氏空间】数学家姜伯驹关于尼尔森数计算的研究成果被国际上命名为“姜氏空间”;另外还有以他命名的“姜氏子群”。   

  姜伯驹1937年生,浙江苍南人。1957年毕业于北京大学数学力学系,留校任教至今。曾任美国普林斯顿高等研究所、巴黎高等科学研究所研究员、联邦德国海德堡大学客座教授,1985年当选第三世界科学院院士。现任数学系教授、博士生导师。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-1-12 20:06:10 | 显示全部楼层

  华人数学家--夏道行

 
  【夏氏不等式】数学家夏道行在泛函积分和不变测度论方面的研究成果被国际数学界称为“夏氏不等式”。  

  夏道行数学家。江苏泰州人。1950年毕业于山东大学数学系。1952年浙江大学数学系研究生毕业。原复旦大学教授。在函数论方面证实了戈鲁辛的两个猜测,建立了“拟共形映照的参数表示法”,得到一些有用的不等式和被称为“夏道行函数”的一些性质。在单叶函数论的面积原理与偏差定理等方面曾作出系统的有较深影响的成果。在泛函分析方面建立了带对合的赋半范环论和局部有界拓扑代数理论;首先建立非正常算子的奇异积分算子模型;对条件正定广义函数和在无限维系统的实现理论研究中取得重要成果。在现代数学物理方面,对带不定尺度的散射问题等获创见性成果。1980年当选为中国科学院院士(学部委员)。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-1-12 20:09:47 | 显示全部楼层

  华人数学家--陆启铿

 
  【陆氏猜想】数学家陆启铿关于常曲率流形的研究成果被国际上称为“陆氏猜想”。

  广东佛山过去只是一座美丽的小镇。平直的街道,弯弯曲曲的小巷。街道是青石铺成的,岁月长久了便光溜溜的,有雨有薄雾的时候更显得可爱。小巷有的地方很浅,不到几步路便直通那高大堂皇的人家的大门。有的地方很深很深,转一个弯,看到侧边的红瓦檐,再转一个弯,又看到侧边斑驳的门墙内露出几朵小花,幽幽静静地。小镇有几千户人家,不少人家日子过得非常殷实,镇西头红檐碧瓦的人家,显然就是其中的一户。

  1927年,陆启铿就出生在这户人家里。盼望着人丁兴旺的父母,从那位慈祥的接生婆手中接过“哇哇”叫的小孩时,都满意地笑了,夸小伢将来一定很有出息。全家人都把希望寄托在这个新生命上,可是不久,一场大病差点夺去了这条生命,谁也不知道是什么病,远近的医生都看遍了,好不容易保住了性命,但他的下肢却永久地瘫痪了。

  陆启铿并不记得这些事,因为他当时还太小太小。

  小启铿开始懂事了,他要上学,但他不能走路。怎么办?还好,家里有钱,就请了一个保姆专门背他上学。小启铿就这样摇摇晃晃地在小保姆的背上开始上学了。他读的是私塾,先生不把他当回事,顽童们经常取笑他,他常常一个人躲在角落里哭泣。这时,保姆就哄他,背他到村外的小河滩上,到草丛中,逗他玩,给他讲故事,虽然保姆讲的故事并不多,也不很好,但他从保姆身上却享受到了儿童应得的乐趣。这些乐趣伴他读了几年私塾,在他11岁时,日本鬼子侵占了广东,他们家都逃难到澳门,小启铿失学了。旁人的轻蔑,不懂事的孩子们丢来的石头、瓦块……所有这一切,他都忍受了,可是他不能忍受失学带来的痛苦。他跌跌撞撞地找到了堂姐,借课本读;又磕磕碰碰地缠着哥哥教他英语、中文、史地、几何。特别是几何,这个数学王国的神秘领地,深深地吸引了小启铿。

  1942年,陆启铿靠自学考取了澳门中山县联合中学高中一年级,后又转到中德中学。那个学校离他家很远,每天他天不亮就起来,自己穿衣、洗漱,自己做早点,然后从门边取过拐杖,6点钟准时出门。对陆启铿来说,从家到学校的那段路,是那么遥远,他常常跌倒,跌倒了又自己爬起来,流血了,就擦一下,头碰晕了,就歇一下,他常常偷偷地流下伤心的眼泪。可他总是大汗淋漓地第一个来到教室。让陆启铿感到安慰的是,他的顽强的求学精神,感动了班上的词学,他们都愿意帮助他。那位从国外留学回来的数学老师也很喜欢他这位对数学有浓厚兴趣的学生。

  1945年,陆启铿的家里变得一贫如洗。就在这时,陆启铿考取了广州中山大学先修班。第二年又考取中山大学数学天文系。可他无法像正常人那样跑进工厂打工,他只好在佛山借了间亲戚家的房子,靠在那里辅导中学课程,挣出学费。每到周五,他就架着双拐,从中山大学出发,换六次公共汽车,再乘小火轮到佛山,周一再原路返校。他把所有的假期都用来做家教。整整四年,为了求学,他在广州到佛山,佛山到广州的路上,不知流了多少汗,费了多少劲,摔了多少跤,受了多少苦。

  机遇总是青睐那些有准备的人。陆启铿一直在艰难地奋斗着,可他做梦也没想到,自己竟能成为大数学家华罗庚的学生。

  那是1950年,华罗庚到中山大学讲学,这位独具慧眼的教授意外地发现了一篇名为《模函数》的学生毕业论文,他被文中显露的机敏分析和深刻的理解力吸引住了,于是请求有关部门,把陆启铿调到了中国科学院数学所工作。

  华罗庚教授对陆启铿要求很严。有一次,已是深夜了,劳累了一天的陆启铿正在床上酣睡,突然“笃笃”的敲门声把他惊醒,他没好气地问:“谁?”传来了华教授的回答声,他赶忙下床,开门向教授道歉,教授没有因此而责备他,只是慈祥地注视着憔悴的学生。他知道启铿今天刚从一个学校讲学回来,拄着双拐在台上站了两个小时。但科研上,他不能让自己的学生有半点含糊。进屋后,他严肃地指着一篇陆启铿的文章说:“我看了一下,这里面有些错误,我明天早上有工作外出,所以现在来找你,这样改一下……”然后,教授扶着启铿走到台灯前,细细地讲了起来。就这样,华罗庚教授以他严谨的治学态度、高超的教学技巧,循循善诱地诱导着陆后铿,为陆启铿后来进一步深造和取得辉煌的成果打下了坚实的基础。陆启铿也因此更加刻苦地在他喜爱的数学领域里耕耘着。

  1961年,他的研究专著《多复变函数引论》,由科学出版社出版,他成为我国这方面的权威。1963年,他参加由华罗庚担任主编的《现代数学丛书》的编写工作,撰写其中的《典型流形与典型城》一书。1966年他研究了一个课题,写出《关于常曲率的kahler流形》一文。文章被美国的《中国数学》翻译转载后,不断引起数学家们的讨论。1969年,波兰数学家M·斯卡津斯基把陆先生那篇文章里提出的观点称为“陆启铿猜想”。陆启铿成了国际知名数学家。1982年,他的另一本专著《微分几何学及其在物理学中的应用》又由科学出版社出版。另外,他还在《中国科学》《数学学报》《科学通讯》等国内重要的学术刊物上发表了60多篇论文。

  陆启铿既是一个残疾人又是一位一流的数学家,但所有熟悉陆启铿的人都很少谈到他的残疾。他的学生杨宏昌说:“我从未感到他是一个残疾人,他从不需要照顾,他可以架着双拐站在黑板前连续讲两节课,他可以从一楼拄着双拐上到五层,再往返数次为我们办出国手续。”

  而陆启铿自己却说:“我是一个残疾人……我不是天才,做出一些工作完全是下苦功夫的结果。”

  现已70多岁高龄的陆启铿一生都在下着苦功夫,今天还在下着苦功夫。

  只要大脑还能思维,我就一刻不离开我的科学研究。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-1-12 20:10:55 | 显示全部楼层

  华人数学家--杨乐和张广厚

 
  【杨—张定理】数学家杨乐和张广厚在函数论方面的研究成果被国际上称为“杨—张定理”。

  杨乐数学家。江苏南通人。1962年毕业于北京大学。中国科学院数学与系统科学研究院院长、数学研究所研究员。主要从事复分析研究。对整函数与亚纯函数亏值与波莱尔方向间的联系作了深入研究,与张广厚合作最先发现并建立了这两个基本概念之间的具体的联系。在亚纯函数奇异方向进行了深入研究,引进了新的奇异方向并对奇异方向的分布给出了完备的解答。对全纯与亚纯函数族的正规性问题进行了系统研究,建立了正规性与不动点间的联系。引进亏函数的概念,证明了有穷下级亚纯函数的亏函数至多是可数的。与英国学者合作解决了著名数学家立特沃德的一个猜想。对整函数及其导数的总亏量与亏值数目作出了精确估计。1980年当选为中国科学院院士(学部委员)。

  张广厚(1937—1987年),唐山市东矿区林西人,祖籍山东,是我国著名数学家。

  1937年1月22日,张广厚降生在林西一个普通农民的家里,七岁随父兄到矿上当童工,饱受艰辛,从小立下壮志:一定要做个有文化的中国人。

  1948年底,唐山市解放了。张广厚回到了校园,他最终以优异的成绩完成了初、高中的学业,并成为高中三年唯一一名数学次次考试均满分的“数学尖子”。以优异成绩考入北京大学数学系。张广厚是大学同届毕业生中唯一保持六年全优成绩的学生。他的毕业论文,也被刊发在一家知名的数学杂志上。

  1962年,在北大教授庄圻泰的悉心指导下,张广厚考入中国科学院数学研究所,师从著名的数学前辈熊庆来教授做研究生,从此,在数学科学的道路上,他又迈上了一个新台阶。研究生毕业后,他便被留在中国科学院数学所从事研究工作。1964年下半年,张广厚和杨乐开始合作研究全纯与亚纯函数族。他们发展了消去原始值的方法,获得了很好的结果。正当他们全心投入函数理论研究之时,一场史无前例的“文化大革命”开始了。张广厚被赶到中城涧劳动,后又到天津小站的解放军农场劳动了一年半。

  70年代初,随着文化禁锢的粉碎和经济、科技改革的到来,特别是周恩来总理亲自过问科学院的工作,肯定基础理论研究的重要性。短短几年间,他与杨乐合作,首次发现函数值分布论中的两个主要概念“亏值”和“奇异方向”之间的具体联系,被数学界定名为张杨定理。紧接着,张广厚又开始研究“亏值”、“渐近值”和“茹利雅方向”三个概念,这是函数理论中三个重要概念。早在1929年,芬兰著名数学家奈望利纳也曾作过相同的猜测,但10年后,他的猜测被否定了。40年后,这样一个被著名数学家研究却被否定过的难题,在张广厚千万次的论证中,终于找到了合理的解决方法,一举做出这项研究的科学论证。《中国科学》在1973年3月,特为论文出了一期增刊。新华社、《人民日报》也在头版显著位置再次以《张广厚又获世界水平的成果》为题作了报道。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-1-12 20:12:07 | 显示全部楼层

  华人数学家----王浩

 
  【王氏悖论】数学家王浩关于数理逻辑的一个命题被国际上定为“王氏悖论”。

  王浩(1921.5.2l--1995)是美藉华裔数理逻辑学家、计算机科学家和科学家,生于山东省济南市.1939年进入西南联大数学系学习,1943年获学士学位后又入清华大学研究生院哲学部学习,1945年以《论经验知识的基础》的论文获硕士学位.王浩在中学时代就对哲学有兴趣,念初中时他在父亲的建议下阅读过恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》.念高中时他偶然得到金岳霖写的《逻辑》(1935),其中约80页介绍罗素(B.Russel)的名著《数学原理》第一卷的内容,他感到这些内容既吸引入又容易懂,因此想:"应该首先尝试学习较容易的数理逻辑,为以后学习辩证法作较好的准备."大学一年级时,他旁听了王宪钩的符号逻辑课,系统地学习了《数学原理》第一卷.并通过阅读希尔伯特一阿克曼的《数理逻辑基础》(1938年版)学习德语.以后又阅读了希尔伯特--贝尔纳斯的《数学基础》(两卷集,1934年版)的第一卷.1942年他听了沈有鼎讲授维特根斯坦(L.Wittgenstein,1889--1951)的《逻辑哲学论》(Tractatus,1921)课,阅读了卡纳普(R.Carnap)的《语音的逻辑句法》(1934年版),并开始撰写关于休漠的归纳问题的论文.王浩在回忆这段紧张而有意义的学习生活时说:"1939年到1946年我在昆明,享受到生活贫苦而精神食粮丰盛的乐趣.特别是因为和金[岳霖]先生及几位别的先生和同学都有共同的兴趣和暗合的视为当然的价值标准,觉得心情愉快,并因而能够把工作变成了一个最基本的需要,成为以后自己生活上主要的支柱.我的愿望是:愈来愈多的中国青年可以有机会享受这样一种清淡的幸福!"读书期间(1943--46年),王浩还兼任过数学教员.

  1946年,王浩前往美国哈佛大学,在那里见到了当代美国著名哲学家、逻辑学家奎因(W.V.Quine,1908--),并随即开始学习他创立的形式公理系统,不久就对该系统作出改进,其部分结果写成博士论文.根据奎因的建议,论文的题目取为《经典分析的经济实体论》(AnEconomicOnto1ogyforC1assicalAnalysis).1947年开始担任奎因的高等逻辑与语言哲学等课程的助教;1948年获理学博士,并继续留在哈佛大学;1948一1951年任初级研究员,195l--1956年任助理哲学教授.1949年奎因暂离哈佛期间,王浩接替他开设高等逻辑课,用一种相当完备的方法介绍哥德尔的不完备定理.

  1950--1951年期间,王浩赴瑞士苏黎世联邦工学院数学研究所,从事博士后研究.1954年以洛克菲勒基金会研究员的身份去英国.1954--1955年在英国牛津大学主持第二届约翰·洛克哲学讲座.1956年获牛津大学巴利奥尔学院硕士.1956--1961年任牛津大学数学哲学高级讲师.期间曾主持一讨论班,讨论维持根斯坦的《对数学基础的看法》.牛津大学哲学家中的领头人物大多数参加了这个讨论班.1961--1967年回到哈佛任数理逻辑与应用数学教授.l967年以后在洛克菲勒大学任数学教授,并主持该校的逻辑研究室.l975--1976年曾到普林斯顿高级研究所访问和工作.

  l953年起,王浩开始计算机理论与机器证明的研究.因为一方面他敏锐地感觉到被认为过分讲究形式的精确,十分繁琐而无任何实际用处的数理逻辑可以在计算机领域发挥极好的作用;另一方面由于新中国的成立,他想多学点有用的东西以便将来回来报效祖国.为此他曾兼任巴勒斯公司的研究工程师(1953--l954年)、贝尔电话实验室技术专家(1959--1960年)、IBM研究中心客座科学家(1973--l974年)等一系列职务.

  1972年以后,王浩数次回国.1973年他写了《访问中国的沉思》,被报纸与杂志广泛刊载.1985年兼任北京大学教授;1986年兼任清华大学教授.

  王浩曾发表100多篇论文.主要著作有:《数理逻辑概论》(ASurveyofMathematicalLogic,l962),其中收集了他在l947年至1959年期间写的关于数学基础、形式公理系统、计算机理论和数学定理机械化证明的一些研究论文和其它文章.《从数学到哲学》(FromMathematicstoPhlcosophy,1974),作者试图用"实事求是论"(Substantialfactualism)的观点阐述对一系列哲学问题,特别是数学哲学问题的看法,并对当今在西方世界影响甚大的分析哲学进行批判,书中还包括大逻辑学家哥德尔一些未发表的哲学观点,极有研究价值.《数理逻辑通俗讲话》,有中英文两种版本,这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的.《超越分析哲学--公平对待我们具有的知识》(BeyondAnalyticPhilosophy--DoingJusticetoWhatweKnow,l986),作者对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍,并给予镇密的分析和有力的批判,主要论据是他们的哲学无法为人类现有的知识,特别是数学知识,提供基础.由于作者非常熟悉这四人的工作,甚至与其中一些人有直接交往,所以他的批判十分深刻.牛津大学的彼特·斯特苏森爵士(SirP.Strawson)评论到:"哲学家们对于王浩此书的主要的、深厚的兴趣在于,它记录了一位极富才智、卓越和敏锐的哲学家对所谓’’分析’’或’’英一美’’哲学在本世纪经历的发展过程的看法.""王的书是对现代哲学史和元哲学的丰富、迷人的贡献."

  王浩是美国艺术与科学学院院士,英国科学院外藉院士和符号逻辑学协会会员.1983年在美国丹佛召开的,由人工智能国际联合会会议(LnternationalJointConfernceonArtificialinteIIigence)和美国数学会共同主办的,自动定理证明(AutomatedTheoremProving)特别年会上,王浩被授予首届"里程碑奖"(MilestonePrize),以表彰他在数学定理机械证明研究领域中所作的开创性贡献.提名时列举的主要贡献有:强调发展应用逻辑新分支--"推理分析"(inferentialanalysis),其对于数理逻辑的依赖关系类似于数值分析(numericalanalysis)对于数学分析的依赖关系;坚持谓词演算和埃尔布朗(Herbrand)与根岑(Gentzen)形式化的基本作用;设计了证明程序,有效地证明了罗素与怀特海(Whitehead)的《数学原理》中带集式的谓词演算部分的350多条定理;第一个强调在埃尔布朗序列(Herbrandexpansion)中预先消去无用项的算法的重要性;提出一些深思熟虑的谓词演算定理,可用作挑战性问题来帮助判断新的定理证明程序的效能.
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-1-12 20:13:55 | 显示全部楼层

  华人数学家——侯振挺

 
  【侯氏定理】数学家侯振挺关于马尔可夫过程的研究成果被国际上命名为“侯氏定理”。

  侯振挺,我国著名数学家,全国劳动模范。河南省新密人,1936年3月生。1960年唐山铁道学院毕业后,分配到长沙铁道学院执教。1978年加入中国共产党。他是第五、六、七、八届全国人大代表,全国劳动模范。曾任长沙铁道学院教授、博士生导师、副院长、科研所所长、湖南省科协名誉主席。

  他长期从事概率论特别是马尔可夫过程的研究,在齐次可列马尔可夫过程构造论中创造了世界领先水平的成果,在可逆马尔可夫过程元穷粒子系统领域作了开创性的工作。马尔可夫过程,是俄国数学家马尔可夫1907年提出的一种数学模型。它概括了自然界一系列随机现象,既属于数学基础理论范畴,又在自然科学、技术科学和社会科学中有广泛的应用价值。马尔可夫过程成为概率论中十分重要的理论分支。他经过10多年的潜心钻研,1974年在《中国科学》上发表论文《Q过程唯一性准则》,就马尔可夫过程论中具有重要理论价值的中心研究课题,创造了令国内外数学界瞩目的科研成果。英国数学家、剑桥大学统计数学研究所所长惠特尔教授致函中国科学院院长提出:“长沙铁道学院的侯振挺,在所谓‘Q过程的存在问题’’中,建立了唯一性准则。鉴于这一非凡的工作,本基金会决定授予他一项戴维逊奖。”“直到这位天才的年轻人发表他的论文以前,所有努力都失败了。他的杰出论文引起了广泛的注意,这是因为他的答案具有完整性和最终性。”因此,1978年的英国皇家学会戴维逊奖,颁发给这位中国普通教师,他成为中国第一位获此殊荣的数学家。同年,还获得全国科学大会奖。他的研究成果被国际数学界称为“侯氏定理”。

  “侯氏定理"的问世,使他成为国际数学星空中的一颗耀眼新星。没有欣喜,而是深深感到中国数学科研要赶超世界先进水平,必须造就一支献身于数学科学的高水平的学术队伍。1981年,国家首批博士点公布,他作为学科带头人领衔长沙铁道学院概率论与数理统计博士点。他以新观念和新思维,慧眼识人,不拘一格广泛搜罗人才,青年工人李慰萱被擢拔为副教授、教授。10多年来,他已培养了多位博士生导师、上十位教授。由10多位博士、40多位硕士组成了较高起点、与国际数学研究接轨、分层次配置的“侯氏梯队”。他们的最新科研成果是《马尔可夫过程的Q一一矩阵问题》,这本50万字著作问世后,立即引起国内外数学界特别是概率论领域的关注和好评。多位中国科学院院士认为,这是“迄今世界上唯一一本关于令一一矩阵问题的专著”。英国皇家学会前主席为该书英文版作序。该书1995年被评为全国优秀科技图书。马尔可夫过程研究在90年代以后进入了新的发展阶段,例如马氏决策过程就是当代数学热门课题之一。他带领博士生对连续参数Q过程唯一的情况给出了最优决策存在性的证明,取得了第一个可喜的成果。

  从创造“侯氏定理”到形成“侯氏梯队”的20年时间里,他在马尔可夫过程及相关领域内,对马氏过程、半马氏过程、逐段确定的马氏过程等分支进行分析概括,取得了一系列深刻而丰富的科研成果。已发表学术论文80多篇,出版专著6本,并完成湖南省能源模型、决策系统软件开发、消费市场趋向分析与需求预测等科技攻关项目,取得了显著的社会效益和经济效益。还获得1982年国家自然科学三等奖、1987年国家教委科技进步二等奖等20余项国内外奖励,1999年8月22日,马氏过程与受控马氏链国际学术会议在长沙召开,国际数学概率论专家聚会长沙铁道学院,他致开幕词,还介绍了他和他的弟子们的一批最新成果。

  工作经历
  2000-至今教授中南大学数学学院概率统计所
  1978-2000教授长沙铁道学院
  1960-1978助教长沙铁道学院
  1996-至今名誉主席湖南省科学技术协会
  1986-1996主席湖南省科学技术协会
  1984-2000副院长长沙铁道学院
  1984-至今所长中南大学数学学院概率统计所

  主要学术兼职
  1990-至今主编《数学理论与应用》(《湖南数学年刊》)
  1988-至今理事长湖南省数学会
  1979-1985编委ZeitschriftfurWahrscheinlichkeits-theorie

  教育背景
  1955-1960唐山铁道学院(现西南交通大学)数力系大学毕业科研奖励
  2002综合性科技奖励第三届湖南光召科技奖
  2001马尔可夫骨架过程--混杂系统模型湖南省科技进步奖一等奖
  1998专著:《马尔可夫过程的Q-矩阵问题》湖南省科技进步奖一等奖
  1988马尔可夫过程及其相关论题国家教委科技进步二等奖
  1982马尔可夫过程的唯一性,构造与性质国家自然科学三等奖
  1978齐次可列马尔可夫过程全国科学大会奖
  1978齐次可列马尔可夫过程--Q过程唯一性准则(侯氏定理)全国铁路科技大会奖
  1978齐次可列马尔可夫过程的可逆性全国铁路科技大会奖
  1978齐次可列马尔可夫过程的理论湖南省科学大会奖
  1978Q过程的唯一性准则Davidson奖,英国皇家学会
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-1-12 20:17:52 | 显示全部楼层

  华人数学家——景乃桓

 
  【景氏算子】数学家景乃桓在对称函数方面的研究成果被国际上命名为“景氏算子”。
  景乃桓男,1962年1月生于湖北省武汉市,研究方向:代数学和数学物理(量子群和无限维李代数,表示论,代数组合,量子计算),1982年获湖北大学理学学士,1985年获武汉大学理学硕士。1989年获美国耶鲁大学博士学位。先后在普林斯顿高等研究院,密执安大学,堪萨斯大学和北卡州立大学等地工作或任教,于2001年晋升为正教授。2001年任湖北省“楚天学者”特聘教授。2006年始任华南理工大学特聘教授。

  2004-05年获德国洪堡学者,2004年获美国富尔布莱特学者。先后在下列数学中心访问研究:京都数理研究所,美国伯克利数学研究所,德国马克斯-普朗克研究所等。

  【教学和研究生培养】

  主讲“微积分”,“线性代数”,“近世代数”,“数论和近世代数”,“组合论”,“李代数及其表示论”,“Kac-Moody代数”,“量子群”,“顶点算子代数”,“对称群表示”,“量子计算”等课程。

  【科研经历】

  多次主持由美国国家自然科学基金会等机构支助的科研项目。主持1995年10月美国数学会关于“Kac-Moody代数和有关课题”的分会。1998,2001,2006年在美国主持召开“国际仿射代数和量子群会议”,CBMS-NSF“代数组合论会议”和CBMS-NSF“束代数及其应用”国际会议。  
  在国际数学刊物上发表50多篇论文,编辑著作两部,绝大多数为SCI索引。所发论文杂志有:Proc.Nat’’l.Acad.Sci.USA,Invent.Math.,Adv.InMath.,J.Alg.Combin.,PacificJ.Math.,Lett.Math.Phys.,Trans.Amer.Math.Soc.,Represent.Theory,Intern.Math.Res.Notices,DukeMath.J.,J.Algebra,Phys.Lett.A,J.Phys.ARev.等等。

  主要从事无限维李代数,量子群和表示论方面的研究工作。1988年和Frenkel合作首次构造仿射量子代数的顶点表示,之后完全构造绕型仿射量子代数的顶点表示。引入顶点算子方法研究SchurQ-,Hall-Littlewood等对称多项式函数,推动了无限维李代数和代数组合论的交叉研究。和Frenkel以及W.Wang合作研究McKay对应和无限维李代数的关系,运用此方法给出圈群以及中心扩张群的特征标表。和S.Fei等合作运用群论方法研究量子计算中的量子等价问题,运用矩阵方法研究量子密度矩阵的可分问题。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-1-12 20:20:34 | 显示全部楼层

  华人数学家——袁亚湘

 
  【袁氏引理】数学家袁亚湘在非线性规划方面的研究成果被国际上命名为“袁氏引理”。

  袁亚湘,男,1960年1月出生于中国湖南资兴。十八岁考上湘潭大学,四年后考上中国科学院计算中心研究生,师从冯康教授。1982年11月起在剑桥大学应用数学与理论物理系攻读博士,师从M.J.D.POWELL教授。1986年获博士学位。1985年10月至1988年9月在剑桥大学菲茨威廉姆学院工作(Rutherfordresearchfellow),1988年回到中国在中国科学院计算中心工作。现任中国科学院数学与系统科学研究院副院长。

  袁亚湘在超线性优化的算法及其理论方面,取得了一系列的重要成果。他在信赖域法的收敛性分析方面所做的工作是开创性的,特别是对于非光滑优化信赖域方法的研究得出了一系列重要的收敛性定理,给出了超线性收敛的充分必要条件。他因此在1984年获英国剑桥大学数学学业部研究生论文竞赛唯一的一等奖,以及1985年在英国伦敦获首届青年国际数值分析奖二等奖。他在拟牛顿方法的理论研究方面贡献很大,他和美国科学家合作证明了一类拟牛顿方法的全局收敛性,这是非线性规划算法理论在80年代最重要的成果之一。他还首创性地提出了用信赖域方法和传统的线搜索方法的结合来构造新的计算方法,开创了利用非二次模型信息构造二次模型子问题的方法,提出了非拟牛顿方法。国外同行称袁亚湘在信赖域方法领域取得的成就是基石性的成果,他的贡献对最优化领域是至关重要的。


来源:东森校园网
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-4-27 11:22 , Processed in 0.052559 second(s), 14 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表