莫绍揆
莫绍揆（1917年8月19日—2011年10月14日），生于广西桂平，卒于江苏南京。数理逻辑学家，中国数理逻辑教育和研究的开拓者之一，南京大学数学系教授。
| 莫绍揆 | |
|---|---|
| 出生 | 1917年8月13日 广西桂平 |
| 逝世 | 2011年10月14日（94岁） 江苏南京 |
| 居住地 | 南京 |
| 国籍 | 中国 |
| 母校 | 中央大学 (1939) 瑞士洛桑大学 法国巴黎大学 |
| 知名于 | 中国数理逻辑开拓者 |
| 奖项 | 江苏省数学杰出贡献奖 |
| 科学生涯 | |
| 研究领域 | 数理逻辑 递归论 数学 理论计算机科学 |
| 机构 | 南京大学 中央大学 中山大学 |
| 博士导师 | 保罗·伯奈斯 (Paul Bernays) |
生平
编辑莫绍揆，字非斯，1917年8月13日生于广西省桂平县油麻乡大中村，三岁丧慈母。1930年入广州广雅中学，1935年考入中央大学数学系。1939年毕业于中央大学理学院数学系，随后在中央大学留校任助教两年，1941年转中山大学做数学系讲师，1944年两广沦陷时曾到玉林中学任英语讲师，1945年抗战胜利回中央大学做讲师。 1947年考取公费赴瑞士洛桑大学，第二年转入瑞士国立高等工业学校，后法国巴黎大学留学深造，研究数理逻辑，师从数理逻辑大师保罗·伯奈斯(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)的命题演算公理系统。[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；译自罗莎·培特所著之Rekursive Funtionen，1951
- 1965年《数理逻辑导论》，上海科学技术出版社，13119·589
- 1965年《递归函数论》，上海科学技术出版社，13119·674
- 1979年《形式语言及其与自动机的关系》，科学出版社，15031·231；系多人合译；译自霍普克洛夫特与厄尔曼所著之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年留学美国，获地质学硕士学位。丈夫和女儿均留居美国。
- 孙子莫与非。
参考资料
编辑- ^ 莫经山. 全国著名教授绍揆公. 莫氏宗亲网. 2011-02-04 [2015-01-08]. （原始内容存档于2016-03-05）.
- ^ 孙钟秀院士 人物百科. 科技中国. [2015-01-08]. （原始内容存档于2014-08-21）.
- ^ 朱煊. 我国计算机软件的开拓者 —计算机科学家 孙钟秀. 南京大学. [2015-01-08]. （原始内容存档于2005-03-15）.
- ^ 丁德成. 莫绍揆先生简介. 南京大学学报(数学半年刊). 2008年5月22日 [2015-01-08].
- ^ 刘定一. 纪念恩师莫绍揆先生. 中国逻辑学会. 2009-10-26 [2015-01-08]. （原始内容存档于2016-03-05）.
- ^ 袁萌. 沉痛悼念恩师莫绍揆先生. ChinaUnix. 2011-10-17 [2015-01-08].[永久失效链接]
- ^ 南京市政府网 基础科学 数理逻辑与数学基础[永久失效链接]
- ^ 光明网. 胡世华：中国数学逻辑奠基人生. 中国科大新闻网. 2006-11-27 [2015-01-08].[永久失效链接]
- ^ 南京大学教育发展基金会. 一位工人数学家的感恩之旅——莫绍揆奖学金在南京大学设立背后的故事. 南京大学. 2014-06-19 [2015-01-08].[永久失效链接]