莫绍揆

✍ dations ◷ 2025-04-12 10:42:57 #1917年出生,2011年逝世

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

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

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

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

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

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

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

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

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

相关

  • 5.8S rRNA在分子生物学中,5.8S核糖体RNA(5.8S rRNA)是指一类非编码RNA。它是真核生物核糖体的大亚基的组成成分,在蛋白质转译中起重要作用。RNA聚合酶I(英语:RNA polymerase I)先转录出沉降
  • 侮辱侮辱(insult)是一种表达方式、陈述或行为,为不尊重和轻蔑的行为。侮辱可以是有意或无意的。侮辱可以是对一些事实之人身攻击,诸如近亲交配等。
  • 多特蒙德足球俱乐部多特蒙德普鲁士1909球类运动俱乐部注册协会(德语:Ballspiel-Verein Borussia 1909 e.V. Dortmund,BVB)是位于德国鲁尔区多特蒙德的足球俱乐部。在德国国内赛场上,多特蒙德曾五次
  • 雅文邑白兰地雅文邑(法语:Armagnac),又译雅马邑、雅玛邑,是一种出产于法国西南部加斯科涅阿马尼亚克的白兰地。白兰地是蒸馏酒,是由巴高(英语:Baco 22A)、鸽笼白(英语:Colombard)、白福儿(英语:Folle b
  • 绞拧数绞拧数(英语:Writhe)是纽结理论中的一个纽结不变量。指纽结在各个方向投影图的拧数的平均值。一般记作: W r {\displaystyle Wr} 。对
  • 2019年湖南卫视电视剧、节目列表本列表列出2019年由湖南卫视首播的戏剧节目(仅限晚间时段首轮上星播出的戏剧节目)和综艺节目。2019年的节目将在湖南卫视和湖南卫视高清频道同步播出。而在新媒体方面,芒果TV会
  • 伊塔洛·巴尔博伊塔洛·巴尔博(意大利语:Italo Balbo,1896年6月6日-1940年6月28日),意大利空军将领,法西斯四巨头之一。巴尔博1896年生于意大利费拉拉,在佛罗伦斯大学毕业,第一次世界大战期间在阿尔
  • 国分盛重国分盛重(日语:国分盛重/こくぶん もりしげ ,1553年-1615年9月7日)是日本战国时代武将,后来成为久保田藩士,秋田伊达氏(日语:国分氏 (陸奥国))之祖。最初盛重名为伊达政重,在继承国分氏
  • 丁启睿丁启睿(1595年-1645年),字性如,号圣临。明末河南永城人。丁魁楚之侄,弟丁启光。万历二十三年(1595年)八月生。万历四十六年(1618年)举人,四十七年进士。历任南京兵部主事、兵部郎中、太
  • 秉前环毛蚓秉前环毛蚓(二名法:,亦称为峨眉山大蚯蚓)是环毛蚓属(英语:Pheretima)下的一个种。秉前环毛蚓长约半米,生活在四川的峨眉山地区,是峨眉山的特色物种之一。秉前环毛蚓俗称“透地龙”。