本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。本...
现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻...
《集合论:对无穷概念的探索》是“逻辑与形而上学教科书系列”中的一本,书中介绍了集合论的基础知识,共有集合与公理,关系与函数,实数的构造,基数,滤、理想与无界闭集,集合的宇宙,可构成集,力迫等9章内容;...