莫紹揆(1917年8月19日—2011年10月14日),生於廣西桂平,卒於江蘇南京。數理邏輯學家,中國數理邏輯教育和研究的開拓者之一,南京大學數學系教授。

莫紹揆
出生(1917-08-13)1917年8月13日
廣西桂平
逝世2011年10月14日(2011歲—10—14)(94歲)
江蘇南京
居住地南京
國籍中國
母校中央大學 (1939)
瑞士洛桑大學
法國巴黎大學
知名於中國數理邏輯開拓者
獎項江蘇省數學傑出貢獻獎
科學生涯
研究領域數理邏輯
遞歸論
數學
理論計算機科學
機構南京大學
中央大學
中山大學
博士導師保羅·伯奈斯英語Paul Bernays (Paul Bernays)

生平

編輯

莫紹揆,字非斯,1917年8月13日生於廣西省桂平縣油麻鄉大中村,三歲喪慈母。1930年入廣州廣雅中學,1935年考入中央大學數學系。1939年畢業於中央大學理學院數學系,隨後在中央大學留校任助教兩年,1941年轉中山大學做數學系講師,1944年兩廣淪陷時曾到玉林中學任英語講師,1945年抗戰勝利回中央大學做講師。 1947年考取公費赴瑞士洛桑大學,第二年轉入瑞士國立高等工業學校,後法國巴黎大學留學深造,研究數理邏輯,師從數理邏輯大師保羅·伯奈斯英語Paul Bernays(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 (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;譯自羅莎·培特德語Rózsa Péter所著之Rekursive Funtionen,1951
  • 1965年《數理邏輯導論》,上海科學技術出版社,13119·589
  • 1965年《遞歸函數論》,上海科學技術出版社,13119·674
  • 1979年《形式語言及其與自動機的關係》,科學出版社,15031·231;系多人合譯;譯自霍普克洛夫特厄爾曼英語Jeffrey Ullman所著之Introduction to Automata Theory, Languages, and Computation英語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年留學美國,獲地質學碩士學位。丈夫和女兒均留居美國。
  • 孫子莫與非。

參考資料

編輯
  1. ^ 莫經山. 全国著名教授绍揆公. 莫氏宗親網. 2011-02-04 [2015-01-08]. (原始內容存檔於2016-03-05). 
  2. ^ 孙钟秀院士 人物百科. 科技中國. [2015-01-08]. (原始內容存檔於2014-08-21). 
  3. ^ 朱煊. 我国计算机软件的开拓者 —计算机科学家 孙钟秀. 南京大學. [2015-01-08]. (原始內容存檔於2005-03-15). 
  4. ^ 丁德成. 莫绍揆先生简介. 南京大學學報(數學半年刊). 2008年5月22日 [2015-01-08]. 
  5. ^ 劉定一. 纪念恩师莫绍揆先生. 中國邏輯學會. 2009-10-26 [2015-01-08]. (原始內容存檔於2016-03-05). 
  6. ^ 袁萌. 沉痛悼念恩师莫绍揆先生. ChinaUnix. 2011-10-17 [2015-01-08]. [永久失效連結]
  7. ^ 南京市政府網 基礎科學 數理邏輯與數學基礎[永久失效連結]
  8. ^ 光明網. 胡世华:中国数学逻辑奠基人生. 中國科大新聞網. 2006-11-27 [2015-01-08]. [永久失效連結]
  9. ^ 南京大學教育發展基金會. 一位工人数学家的感恩之旅——莫绍揆奖学金在南京大学设立背后的故事. 南京大學. 2014-06-19 [2015-01-08]. [永久失效連結]

外部連結

編輯