莫紹揆
莫紹揆（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].[永久失效連結]