124 数理逻辑研究

受计算机科学的推动而得到迅速发展。数学家胡世华在30年代就曾提出过“非完整点”概念。是国际上后来提出的所谓“非标准分析”中的非标准点的雏形。50年代后期，他结合计算机开展递归函数与递归算法的研究。建立了有穷基自由半群上的递归函数论，是国际上最早开展的工作。此外，他还建立了“原形文法”概念与理论，对计算机语言的描述作了探讨。数学家莫绍揆在公理集合论、模型论、递归函数论方面的研究也获得了不少成果，并为国家培养一批优秀的数理逻辑人才。