| 莫绍揆 1917— 数学家、逻辑学家。广西桂平人。1939年毕业于中央大学数学系。曾任教中央大学、中山大学数学系。1947年出国留学，先后在瑞士洛桑大学、苏黎世工业大学和法国巴黎大学学习。1951年回国，任南京大学数学系教授，并为中国逻辑学会副理事长。长期从事数理逻辑研究，在逻辑演算、多值逻辑、悖论、递归论、集合论等方面发表多篇论文，提出许多新的见解。1950年提出了一个只包含蕴涵符号而可以避免蕴涵怪论的蕴涵系统。在模态逻辑研究方面，他从基本模态系统B出发，研究具有有穷个模态词的一些模态系统，将模态词的研究代数化，使讨论更方便而又系统，在《模态系统与蕴涵系统》一文中，比较详尽地研究了一般模态系统的构造。在多值逻辑研究方面，利用实质穷尽蕴涵方阵的概念证明了，任何一个完全n值方阵系统均可公理化，且在该公理系统中只用一个基本的n值方阵作为基底，只用一条公理，只用一条推理规则。主要著作有《数理逻辑导论》、《递归函数论》、《递归论》、《数学基础》等。 |