莫绍揆

【生卒】：1917～

【介绍】：

中国现代逻辑学家、数学家。广西桂平人。1939年毕业于中央大学数学系。毕业后曾在中央大学数学系、中山大学数学系任教。1947年出国留学，先后在瑞士洛桑大学、苏黎世工业大学和法国巴黎大学学习。1951年回国，历任南京大学数学系副教授、教授，中国逻辑学会副理事长。莫绍揆的主要成就有：①建立了相干蕴涵的系统；②把各种模态逻辑系统作了一个综合的整理；③在递归论中提出了一些新的概念；④对多值逻辑中的悖论进行了创新的研究；⑤翻译了3部数理逻辑名著。莫绍揆长期从事数理逻辑研究、教学和翻译工作，在数理逻辑的几个分支学科中发表了多篇具有独到见解的论文，培养了一批数理逻辑研究人才，对中国数理逻辑的发展作出了重要贡献。他的主要专著有：《数理逻辑导论》(1965)、《递归函数论》(1965)、《数理逻辑教程》(1982)、《递归论》(1987)和《数学基础》(1991)等。