莫绍揆(1917年8月19日—2011年10月14日),生于广西桂平,卒于江苏南京。数理逻辑学家,中国数理逻辑教育和研究的开拓者之一,南京大学数学系教授。

莫绍揆
出生(1917-08-13)1917年8月13日
广西桂平
逝世2011年10月14日(2011岁—10—14)(94岁)
江苏南京
居住地南京
国籍中国
母校中央大学 (1939)
瑞士洛桑大学
法国巴黎大学
知名于中国数理逻辑开拓者
奖项江苏省数学杰出贡献奖
科学生涯
研究领域数理逻辑
递归论
数学
理论计算机科学
机构南京大学
中央大学
中山大学
博士导师保罗·伯奈斯英语Paul Bernays (Paul Bernays)

生平

编辑

莫绍揆,字非斯,1917年8月13日生于广西省桂平县油麻乡大中村,三岁丧慈母。1930年入广州广雅中学,1935年考入中央大学数学系。1939年毕业于中央大学理学院数学系,随后在中央大学留校任助教两年,1941年转中山大学做数学系讲师,1944年两广沦陷时曾到玉林中学任英语讲师,1945年抗战胜利回中央大学做讲师。 1947年考取公费赴瑞士洛桑大学,第二年转入瑞士国立高等工业学校,后法国巴黎大学留学深造,研究数理逻辑,师从数理逻辑大师保罗·伯奈斯英语Paul Bernays(Paul Bernays),后者是二十世纪数学领袖大卫·希尔伯特学生、助理和亲密合作者。[1]

中华人民共和国成立后,1950年回国,到南京大学任教,先后担任数学系副教授、教授、博士生导师,1958年在孙钟秀等协助下于创建中国第一个数理逻辑专业[2][3],任数理逻辑教研室主任。[4]

作为中国数理逻辑教育和研究的开拓者之一,是中国第一批博士生导师,他在1965年出版的《数理逻辑导论》、1980年《数理逻辑初步》和1982年《数理逻辑教程》是中国最早的数理逻辑教材,既是他的讲义,也是自学青年的读本,既影响了从事数理逻辑的研究工作,也对计算机专业从事计算模型、计算理论和程序设计语言理论研究产生了很大影响。[5]

业余,莫绍揆爱好桥牌和围棋,曾参加校系比赛。

莫绍揆,2011年10月14日1时40分逝世,享年94岁。遗体告别仪式于10月20日上午在南京石子岗殡仪馆举行。[6]

学术

编辑

数理逻辑

编辑

莫绍揆在1965年出版的《数理逻辑导论》、1980年《数理逻辑初步》和1982年《数理逻辑教程》是中国最早的数理逻辑教材。1979年,中国逻辑学会成立,莫绍揆负责数理逻辑分支学科,并担任常务理事;常务理事还有金岳霖并任会长。 莫绍揆在1954年指出多值逻辑也不能无条件地使用概括原理,在1955年改进了大卫·希尔伯特保罗·伯奈斯英语Paul Bernays (Paul Bernays)的命题演算公理系统。[7]

理论计算机科学

编辑

莫绍揆在1987年出版了《递归函数论》,1987年与王元合著《可计算性理论》,还著有《算法论》,这几本书偏向理论计算机科学,即计算模型和计算理论。 曾与胡世华递归论问题上有所交流和讨论。[8]

奖项

编辑

莫绍揆奖学金

编辑

美国宾州斯特劳兹堡州立大学(East stroudsburs university of Pennsylvania)数学系教授史念东感恩莫绍揆师恩,在南京大学设立以莫绍揆命名的奖学金,每年捐资1000美元,奖励南京大学数学系博士研究生1-2名,每人奖励500美元,数理逻辑专业品学兼优的优先,2014年一位博士获奖。[9]

著作和译作

编辑
  • 民国36年《高中三角复习指导》,复习指导丛书社
  • 1958年《数理逻辑基础》,科学出版社,13031·750;译自希尔伯特阿克曼所著之Grundzüge der theoretischen Logik,1949
  • 1958年《递归函数论》,科学出版社,13031·826;译自罗莎·培特德语Rózsa Péter所著之Rekursive Funtionen,1951
  • 1965年《数理逻辑导论》,上海科学技术出版社,13119·589
  • 1965年《递归函数论》,上海科学技术出版社,13119·674
  • 1979年《形式语言及其与自动机的关系》,科学出版社,15031·231;系多人合译;译自霍普克洛夫特厄尔曼英语Jeffrey Ullman所著之Introduction to Automata Theory, Languages, and Computation英语Introduction to Automata Theory, Languages, and Computation,1979
  • 1980年《数理逻辑初步》,上海人民出版社,2074·366
  • 1980年《逻辑代数初步》,江苏人民出版社,13100·048(1983年江苏人民出版社所出版之《逻辑代数和电子计算机简介》系此书的增订版(添一章),增订章节名为“电子计算机简介”)
  • 1980年《数理逻辑漫谈》,山东科学技术出版社,13195·35
  • 1982年《算法论》,科学出版社,15031·447
  • 1982年《数理逻辑教程》,华中工学院出版社,13255·003
  • 1984、1985年《元数学导论》,科学出版社(上下两册分别出版),13031·2717(上)13031·2971(下);译自斯蒂芬·科尔·克莱尼所著之Introduction to Metamathematics,1952
  • 1987年《可计算性理论》,科学出版社,13031·888,978-7-03-000061-3;系与王元合著
  • 1987年《递归论》,科学出版社,13031·3947,978-7-03-000050-7
  • 1989年《数理逻辑概貌》,科学技术文献出版社,978-7-5023-0661-8

家庭

编辑
  • 儿子莫宅愉,武汉华中理工大学数学系研究生,后分配在南京航空学院工作,1988年考取加拿大卡勒噶里大学,1994年获博士学位。妻子陶进,和儿子莫与非均迁居加拿大。
  • 长女莫寄怡,南京大学数学科讲师,年芳34早逝。
  • 次女莫宴情,1982年毕业于长春地质学院,一年后考入南京大学读研,获硕士学位,分配河海大学,1987年留学美国,获地质学硕士学位。丈夫和女儿均留居美国。
  • 孙子莫与非。

参考资料

编辑
  1. ^ 莫经山. 全国著名教授绍揆公. 莫氏宗亲网. 2011-02-04 [2015-01-08]. (原始内容存档于2016-03-05). 
  2. ^ 孙钟秀院士 人物百科. 科技中国. [2015-01-08]. (原始内容存档于2014-08-21). 
  3. ^ 朱煊. 我国计算机软件的开拓者 —计算机科学家 孙钟秀. 南京大学. [2015-01-08]. (原始内容存档于2005-03-15). 
  4. ^ 丁德成. 莫绍揆先生简介. 南京大学学报(数学半年刊). 2008年5月22日 [2015-01-08]. 
  5. ^ 刘定一. 纪念恩师莫绍揆先生. 中国逻辑学会. 2009-10-26 [2015-01-08]. (原始内容存档于2016-03-05). 
  6. ^ 袁萌. 沉痛悼念恩师莫绍揆先生. ChinaUnix. 2011-10-17 [2015-01-08]. [永久失效链接]
  7. ^ 南京市政府网 基础科学 数理逻辑与数学基础[永久失效链接]
  8. ^ 光明网. 胡世华:中国数学逻辑奠基人生. 中国科大新闻网. 2006-11-27 [2015-01-08]. [永久失效链接]
  9. ^ 南京大学教育发展基金会. 一位工人数学家的感恩之旅——莫绍揆奖学金在南京大学设立背后的故事. 南京大学. 2014-06-19 [2015-01-08]. [永久失效链接]

外部链接

编辑