莫紹揆
莫紹揆(1917年8月19日—2011年10月14日),生於廣西桂平,卒於江蘇南京。數理邏輯學家,中國數理邏輯教育和研究的開拓者之一,南京大學數學系教授。
莫紹揆 | |
---|---|
出生 | 廣西桂平 | 1917年8月13日
逝世 | 2011年10月14日 江蘇南京 | (94歲)
居住地 | 南京 |
國籍 | 中國 |
母校 | 中央大學 (1939) 瑞士洛桑大學 法國巴黎大學 |
知名於 | 中國數理邏輯開拓者 |
獎項 | 江蘇省數學傑出貢獻獎 |
科學生涯 | |
研究領域 | 數理邏輯 遞歸論 數學 理論計算機科學 |
機構 | 南京大學 中央大學 中山大學 |
博士導師 | 保羅·伯奈斯 (Paul Bernays) |
生平
編輯莫紹揆,字非斯,1917年8月13日生於廣西省桂平縣油麻鄉大中村,三歲喪慈母。1930年入廣州廣雅中學,1935年考入中央大學數學系。1939年畢業於中央大學理學院數學系,隨後在中央大學留校任助教兩年,1941年轉中山大學做數學系講師,1944年兩廣淪陷時曾到玉林中學任英語講師,1945年抗戰勝利回中央大學做講師。 1947年考取公費赴瑞士洛桑大學,第二年轉入瑞士國立高等工業學校,後法國巴黎大學留學深造,研究數理邏輯,師從數理邏輯大師保羅·伯奈斯(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)的命題演算公理系統。[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;譯自羅莎·培特所著之Rekursive Funtionen,1951
- 1965年《數理邏輯導論》,上海科學技術出版社,13119·589
- 1965年《遞歸函數論》,上海科學技術出版社,13119·674
- 1979年《形式語言及其與自動機的關係》,科學出版社,15031·231;系多人合譯;譯自霍普克洛夫特與厄爾曼所著之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年留學美國,獲地質學碩士學位。丈夫和女兒均留居美國。
- 孫子莫與非。
參考資料
編輯- ^ 莫經山. 全国著名教授绍揆公. 莫氏宗親網. 2011-02-04 [2015-01-08]. (原始內容存檔於2016-03-05).
- ^ 孙钟秀院士 人物百科. 科技中國. [2015-01-08]. (原始內容存檔於2014-08-21).
- ^ 朱煊. 我国计算机软件的开拓者 —计算机科学家 孙钟秀. 南京大學. [2015-01-08]. (原始內容存檔於2005-03-15).
- ^ 丁德成. 莫绍揆先生简介. 南京大學學報(數學半年刊). 2008年5月22日 [2015-01-08].
- ^ 劉定一. 纪念恩师莫绍揆先生. 中國邏輯學會. 2009-10-26 [2015-01-08]. (原始內容存檔於2016-03-05).
- ^ 袁萌. 沉痛悼念恩师莫绍揆先生. ChinaUnix. 2011-10-17 [2015-01-08].[永久失效連結]
- ^ 南京市政府網 基礎科學 數理邏輯與數學基礎[永久失效連結]
- ^ 光明網. 胡世华:中国数学逻辑奠基人生. 中國科大新聞網. 2006-11-27 [2015-01-08].[永久失效連結]
- ^ 南京大學教育發展基金會. 一位工人数学家的感恩之旅——莫绍揆奖学金在南京大学设立背后的故事. 南京大學. 2014-06-19 [2015-01-08].[永久失效連結]