莫绍揆

✍ dations ◷ 2024-09-20 18:33:28 #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年一位博士获奖。

相关

  • 苏云金芽孢杆菌苏云金芽孢杆菌(学名:Bacillus thuringiensis,专著中简称为Bt),又称苏力菌,是革兰氏阳性的,芽孢杆菌属陆生习性的细菌。另外, 苏云金芽孢杆菌可寄生在一些蛾类和蝶类的幼虫上,甚至
  • 化学发光化学发光,是化学反应过程中释放出来的能量激发发光物质所产生的冷发光现象。以反应物A和B为例,如果存在处于激发态的反应中间体◊,那么:再例如,如果是鲁米诺,而是过氧化氢,那么在适
  • 食腐动物食腐动物是指主要靠进食腐肉维生的动物。如秃鹫、秃鹳、鬣狗、狼獾、豺等。 事实上绝大部分肉食性动物,都会在捕食的同时食腐(如狮子、科莫多龙)。另外亦有以腐木、腐植质维生
  • 库鲁1法国统计部门在计算土地面积时,不计算面积大于1平方公里的湖泊、池塘、冰川和河口。库鲁(法语:Kourou)是法属圭亚那一座海滨城市,位于库鲁河畔。从1854年至1944年,该地长期作为法
  • 乔治·R·R·马丁乔治·雷蒙德·理查德·马丁(George Raymond Richard Martin,1948年9月20日-,常称GRRM、乔治·R·R·马丁),美国作家及编剧,主要创作奇幻、恐怖和科幻等风格的作品。《冰与火之歌》
  • 法特玛·耶尔德勒姆法特玛·耶尔德勒姆(土耳其语:Fatma Yıldırım,1990年1月3日-),土耳其女子排球运动员,司职主攻手。现时效力于土超球队费内巴切女排俱乐部。厄尔坎在2013年开始成为土耳其国家女
  • 图图伊拉岛图图伊拉岛(Tutuila)是美属萨摩亚的主要岛屿,也是美属萨摩亚最大岛屿,在萨摩亚群岛中为第三大岛屿。美属萨摩亚首府帕果帕果位于该岛。该岛面积为141.81平方公里(54.75 平方英里),
  • 贡山小檗贡山小檗(学名:)为小檗科小檗属下的一个种。
  • 阿剌模忒堡坐标:36°26′40.63″N 50°35′9.58″E / 36.4446194°N 50.5859944°E / 36.4446194; 50.5859944阿剌模忒堡(波斯语:الموت‎ ),一译阿拉穆特堡,是里海南岸的一个古代城堡遗
  • 夏神宗夏神宗李遵顼(1163年-1226年),西夏宗室齐国忠武王李彦宗之子。史书记载:“端重明粹,少力学,长博通群书,工隶篆”。1203年,廷试进士第一名,1211年8月12日废襄宗自立,改元光定,成为中国历