莫绍揆

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

相关

  • 假单胞菌属绿脓杆菌P. aeruginosa 组绿叶假单胞菌 P. chlororaphis 组荧光假单胞菌 P. fluorescens 组穿孔素假单胞菌 P. pertucinogena组恋臭假单胞菌 P. putida组施氏假单胞菌 P. st
  • span class=chemf style=white-space:nowrap;Csub20/sub二十烷是化学式为C20H42的烷烃。它有366,319种同分异构体。二十烷在工业石油化学中没有被太多地使用,因为它的高闪点令它成为低效能的燃油。由于它的化学性质不活跃,所以正二
  • (Nsub2/subHsub5/sub)sub2/subSOsub4/sub&g在化学中,硫酸(部分文献写作硫酸金井),又称硫酸二或硫酸二肼是一种易溶于水的无机化合物,为与硫酸根组成的盐类,其化学式为(N2H5)2SO4,常温下为固体,可借由氢氧化和硫酸铵的置换反映
  • 帕特阿沃·帕特(爱沙尼亚语:Arvo Pärt,1935年9月11日-),出生于爱沙尼亚派德,20世纪爱沙尼亚作曲家。他的作品以合唱圣乐最为人所知。“神圣简约主义”的主要作曲家之一。——斯蒂夫·
  • 安全建议标准词列表安全建议标准词(英语:Safety phrases,简写:S-phrases)是于《欧盟指导标准67/548/EEC 附录Ⅳ: 有关危险物品与其储备的安全建议》里定义。该列表被集中并再出版于指导标准2001/59/
  • 恺撒里昂托勒密十五世·菲洛帕托尔·菲洛墨托尔·恺撒(希腊语:Πτολεμαίος ΙΕ' Φιλοπάτωρ Φιλομήτωρ Καίσαρ,拉丁化:,前47年6月23日-前30年8月23日),昵
  • 全泰勋全泰勋(1919年6月18日-),浙江绍兴人。全泰勋1939年从浙江省立临时联合高级中学毕业后,考入武汉大学并获法学士学位。其后赴美国留学,先后获犹他大学科学硕士、宾夕法尼亚大学哲学
  • 回禄回禄,古中国的火神。《左传》:“”杜预曰:“”《道教词解》:“”有人说回禄是吴回、禄终二神的合称,禄终是吴回之子,吴回是重黎之弟,皆火神。后人称火灾为回禄。如,“”
  • 莱维顿 (宾夕法尼亚州)莱维顿(Levittown)是美国宾夕法尼亚州巴克斯县的一个普查规定居民点和规划社区,在费城大都会区内。2010年人口52,983人,海拔高度40英尺(12米)。它有时被认为是费城在宾夕法尼亚州
  • 福塘站福塘站是位于广西柳江县福塘乡的一个铁路车站,邮政编码545109。车站建于1979年,有焦柳铁路经过该站,现仅办理货运业务,不办理客运业务。车站距离月山站1622公里,隶属南宁铁路局,是