莫绍揆(1917- 2011),教授。广西桂平人。1939年毕业于中央大学教学系。曾在中央大学、中山大学任教。1947年起,先后在瑞士苏黎世高级工业大学和法国巴黎大学等校学习。建国后,历任南京大学副教授、教授,中国逻辑学会副理事长。从事数理逻辑研究。在逻辑演算、多值逻加、悖论、递归论、集合论等方面有所建树,提出若干新的见解。编著有《数理逻辑导论》、《递归数论》、《递归论》、《算法论》。
质点几何学
莫绍揆
评分 暂无
极限论新解
评分 0.0分
数理逻辑概貌
本书向初学者扼要介绍数理逻辑的各部分内容。在逻辑演算中除介绍真值联结词与量词的公理系统外,还介绍了自然推理系统,以冀这个方便的工具可以早日普及。在集合论中介绍了集合论悖论的产生,当初解决悖论的各种尝试,以便读者可以理解现在的公理集合论的来龙去脉。递归论中除介绍各种重要的递归函数类外,着重指出各种推广的重要应用。证明论中介绍数学基础方面的各个派别以及不完全性定理,它指导着证明论的发展趋向。在模型论中