基本信息
- 作者： 雷蒙德·M.斯穆里安（Raymond M. Smullyan）
- 译者： 刘新文
- 出版社：中国轻工业出版社
- ISBN：9787518421831
- 上架时间：2021-5-17
- 出版日期：2019 年4月
- 开本：16开
- 版次：1-1
- 所属分类：数学 > 数理逻辑
编辑推荐
数理逻辑入门教材：作者是世界领衔的哥德尔不完全性定理研究专家，师承著名逻辑学家、数学家、理论计算机科学奠基人阿朗佐•丘奇（Alonzo Church，1903—1995）。
数理逻辑普及之选：作者也是一位趣味谜题专家、魔术师、钢琴演奏家，著有多部谜题书，
擅长以讲故事的方式介绍深奥的数理逻辑。
作者学生作序推荐：作者学生、逻辑学家、计算机科学家、2012 年“国际自动推理厄尔布朗杰出成就奖”获得者梅尔文•菲廷（Melvin Fitting，1942— ）特别为中文版作序推荐。
内容简介
书籍
数学书籍
作为一位终生思考如何以*好的方式表达数理逻辑问题的学者，作者在本书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表，使得本书非常适合作为数理逻辑入门教材。
除了学者的身份，作者还是一位趣味谜题专家，致力于面向普通读者写作，将深奥的思想以故事和谜题的形式讲述，这使得本书在介绍任何知识时都不设定专业基础，采取层层递进的方式，同时还有趣味十足的例子，适合作为数理逻辑普及读物。
本书译者还特别邀请作者的学生、美国逻辑学家与计算机科学家梅尔文·菲廷（MelvinFitting）为中文版撰写了序言，其以简单的语言指出了数理逻辑的关键以及本书的核心所在，便于读者整体把握数理逻辑的基本问题。
数学书籍
作为一位终生思考如何以*好的方式表达数理逻辑问题的学者，作者在本书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表，使得本书非常适合作为数理逻辑入门教材。
除了学者的身份，作者还是一位趣味谜题专家，致力于面向普通读者写作，将深奥的思想以故事和谜题的形式讲述，这使得本书在介绍任何知识时都不设定专业基础，采取层层递进的方式，同时还有趣味十足的例子，适合作为数理逻辑普及读物。
本书译者还特别邀请作者的学生、美国逻辑学家与计算机科学家梅尔文·菲廷（MelvinFitting）为中文版撰写了序言，其以简单的语言指出了数理逻辑的关键以及本书的核心所在，便于读者整体把握数理逻辑的基本问题。
目录
第一部分 一般背景
第1章 起点
集合论
集合的布尔运算
文恩图
布尔方程
第2章 无穷集
无穷集的大小
康托尔的伟大发现
连续统问题
伯恩斯坦—施罗德定理
第3章 一些问题出现了！
悖论
超游戏
两种集合论系统
第4章 更多的背景
第1章 起点
集合论
集合的布尔运算
文恩图
布尔方程
第2章 无穷集
无穷集的大小
康托尔的伟大发现
连续统问题
伯恩斯坦—施罗德定理
第3章 一些问题出现了！
悖论
超游戏
两种集合论系统
第4章 更多的背景
