text: 莫紹揆，生於廣西桂平，卒於江蘇南京。數理邏輯學家，中國數理邏輯教育和研究的開拓者之一，南京大學數學系教授。生平.莫紹揆，字非斯，1917年8月13日生於廣西省桂平縣油麻鄉大中村，三歲喪慈母。1930年入廣州廣雅中學，1935年考入中央大學數學系。1939年畢業於中央大學理學院數學系，隨後在中央大學留校任助教兩年，1941年轉中山大學做數學系講師，1944年兩廣淪陷時曾到玉林中學任英語講師，1945年抗戰勝利回中央大學做講師。 1947年考取公費赴瑞士洛桑大學，第二年轉入瑞士國立高等工業學校，後法國巴黎大學留學深造，研究數理邏輯，師從數理邏輯大師(Paul Bernays)，後者是二十世紀數學領袖大衛·希爾伯特學生、助理和親密合作者。中華人民共和國成立後，1950年回國，到南京大學任教，先後擔任數學系副教授、教授、博士生導師，1958年在孫鍾秀等協助下於建立中國第一個數理邏輯專業，任數理邏輯教研室主任。作為中國數理邏輯教育和研究的開拓者之一，是中國第一批博士生導師，他在1965年出版的《數理邏輯導論》、1980年《數理邏輯初步》和1982年《數理邏輯教程》是中國最早的數理邏輯教材，既是他的講義，也是自學青年的讀本，既影響了從事數理邏輯的研究工作，也對計算機專業從事計算模型、計算理論和程式設計語言理論研究產生了很大影響。業餘，莫紹揆愛好橋牌和圍棋，曾參加校系比賽。莫紹揆，2011年10月14日1時40分逝世，享年94歲。遺體告別儀式於10月20日上午在南京石子崗殯儀館舉行。學術.數理邏輯.莫紹揆在1965年出版的《數理邏輯導論》、1980年《數理邏輯初步》和1982年《數理邏輯教程》是中國最早的數理邏輯教材。1979年，中國邏輯學會成立，莫紹揆負責數理邏輯分支學科，並擔任常務理事；常務理事還有金嶽霖並任會長。莫紹揆在1954年指出多值邏輯也不能無條件地使用概括原理，在1955年改進了大衛·希爾伯特和 (Paul Bernays)的命題演算公理系統。理論計算機科學.莫紹揆在1987年出版了《遞迴函式論》，1987年與王元合著《可計算性理論》，還著有《演算法論》，這幾本書偏向理論計算機科學，即計算模型和計算理論。曾與胡世華在遞迴論問題上有所交流和討論。獎項.莫紹揆獎學金.美國賓州斯特勞茲堡州立大學數學系教授史念東感恩莫紹揆師恩，在南京大學設立以莫紹揆命名的獎學金，每年捐資1000美元，獎勵南京大學數學系博士研究生1-2名，每人獎勵500美元，數理邏輯專業品學兼優的優先，2014年一位博士獲獎。
metadata.dataset: erhwenkuo/wikipedia-zhtw
metadata.title: 莫紹揆
metadata.url: https://zh.wikipedia.org/wiki?curid=4457199