胡世华文集
作者： 胡世华等著
出版社：科学出版社,2008
简介：数理逻辑基础：介绍数理逻辑的基础知识，包括逻辑演算的基本内容，与1981年出版的书有所不同。数理逻辑与计算机科学方面的学术论文：论人造的语言，命题演算之所指，一个0值命题演算的构造，四值命题演算与四色问题，0值命题演算的有穷值的具有函数完全性的子系统，一种递归式的原始递归性，一般递归函数的范式，递归算法论，核函数与递归函数的范式，多种类递归算法，古典谓词演算，关于原始递归性，如何描述程序语言，递归结构，递归结构理论的形式系统和语言的可判定性等。关于数学与计算机科学的意见和看法：数理逻辑是应该重视的一门科学，电子计算机及一些有关的理论问题，数理逻辑的基本特征与科学意义，关于开展控制论问题研究的意见，讯息加工和计算机的数学理论，略论数理逻辑的发生、发展和现状，对于数理逻辑和计算机技术的一些看法，作为现代逻辑学的数理逻辑，关于我国计算机事业的发展问题，数学、数学基础理论的发展与人和计算机的分工协同问题，计算机对数学的影响，计算机的分“代”和我国的“对策”问题，信息时代的数学，数学与计算机科学等。哲学与数学：控制论中的哲学问题，质和量的对立统一与数学，自然辩证法的研究范围和社会责任，数理哲学中的形式主义和柏拉图主义，对哲学工作的意见，关于数学哲学的研究等。
