莫绍揆

✍ dations ◷ 2025-06-08 16:08:30 #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年一位博士获奖。

相关

  • 通农县通农县(越南语:Huyện Thông Nông/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H
  • 暂停生命暂停生命、生命暂停(英语:Suspended animation),又可称为人工休眠或人工冬眠(英语:Artificial hibernation)是通过外在的方法(如医疗科技)将生命的过程减慢至近乎暂定的迹象,但生命不
  • 物质文化物质文化是指文化的物质形态,任何人造物都可以算入其中。研究物质文化意味着研究人与人造物之间的关系,例如物体的制造、保存等等。 诸如艺术史、考古学、人类学等科目都会研
  • 记忆巩固记忆巩固(英语:memory consolidation)是记忆过程的一个分类,指的是在首次获取记忆后将记忆痕迹(英语:memory trace)稳固下来的过程。记忆巩固分为两大部分,系统巩固(即长期增强后期,出
  • 台湾分类械斗台湾分类械斗,台湾闽南语称为拼(piàⁿ),是主要发生在18世纪中到19世纪末的台湾清治时期,自我认知不同族群间的武装冲突。“分类”的意思除了意指这种以武力为主的冲突有着自我与
  • 乔·迪马乔约瑟夫·保罗·迪马乔(英语:Joseph Paul DiMaggio,1914年11月25日-1999年3月8日),原名朱塞佩·保洛·迪马乔(Giuseppe Paolo DiMaggio Jr.),被球迷昵称为“摇摆乔”(Joltin' Joe)或是“
  • 马其昶马其昶(1855年-1930年),字通伯,晚号抱润翁。清末民初安徽桐城城乡(今城关镇)人。 中国历史学家。出身书香世家,发奋好学,受业于方东树、戴钧衡,光绪间举人。精古文辞,师从方宗诚、吴汝
  • 耶蓮娜·奥斯塔朋科耶蓮娜·奥斯塔朋科(乌克兰语:Jeļena Ostapenko,拉脱维亚语:Jeļena Ostapenko,1997年6月8日-),出生于拉脱维亚里加,是乌克兰裔拉脱维亚职业网球选手。耶蓮娜·奥斯塔朋科的母亲Jele
  • 中华人民共和国防震减灾法《中华人民共和国防震减灾法》,是中华人民共和国的一部旨在规范地震灾害应急工作的普通法律。该法律于1997年12月29日在八届全国人大常委会第二十九次会议通过,次年5月1日起施
  • 约翰·哈佛约翰·哈佛(John Harvard)(1607年11月26日-1638年9月14日),是马萨诸塞州查尔斯城的一名牧师。哈佛大学创始人。约翰·哈佛于1607年11月26日在英格兰的南华克(即今天的伦敦泰晤士河