胡世华

暂无相关内容，正在全力查找中

立足基础，反映前沿，在学术界形成广泛影响 研究生奉为经教材，青年学者视为良师益友 二百余位超一流作者，精心编撰铸就学术经典 超豪华的编委会阵容，精挑细选凝聚数学华章 数理逻辑是研究推理，特别是研究数学中的推理的科学，本书陈述数理逻辑的基础性知识，包括逻辑演算（这里是指命题逻辑和一阶谓词逻辑）的基本内容，这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础。 数理逻辑的思想可以溯源到莱布尼兹D，而命题逻辑和一阶谓词逻辑的研究则从弗雷格开始。以后，经过皮尔斯，施罗德，皮亚诺，怀德海与罗素，勒文海姆，斯柯伦等的研究，特别是经过了希尔伯特与阿克曼、贝尔奈斯的研究和整理，谓词逻辑的体系得以形成；而在哥德尔证明了一阶逻辑的完全性定理之后，这个逻辑演算的体系可以说是最后得到完成， 逻辑演算是反映前提和结论之间的推理关系的形式系统。在数理逻辑的历史发展中，构造了逻辑演算的重言式系统。在重言式系统中，以某些形式公理和形式推理规则刻划重言式的全体，以重言式反映推理关系。