- 逻辑迷宫
- - 作者：(美)雷蒙德·M.斯穆里安|责编:杨猛|译者:林田//黄闪闪
  - 出版社：新星
  - ISBN：9787513347693
  - 出版日期：2023/01/01
  - 页数：416
- 售价：28.8

内容大纲
《逻辑迷宫》是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻辑。从第一章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的课外读物。
作者介绍
雷蒙德·M.斯穆里安（Raymond M.Smullyan，1919-2017），世界著名逻辑学家、数学家，也是一位职业钢琴演奏家和职业魔术师。1959年于普林斯顿大学获得哲学博士学位。先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。哥德尔不完全性定理研究专家，系统地发展了表列证明方法，并致力于向普通读者普及数理逻辑。著有30余部著作，包括数理逻辑专业著作以及趣味逻辑谜题书，如《形式系统的理论》《一阶逻辑》《哥德尔不完全性定理》《元数学的递归论》《对角化和自指》《这本书叫什么？》《逻辑迷宫》《哥德尔谜题书》等。
目录
第一部分  明智地概括
  第一章  说谎和讲真话的逻辑
  第二章  男性还是女性？
  第三章  沉默的骑士和无赖
  第四章  发疯还是清醒？
  第五章  困难重重！
  第六章  统一化
第二部分  明智地符号化
  第七章  命题逻辑初步
  第八章  说谎者、诚实的人以及命题逻辑
  第九章  善变的说谎者
  第十章  逻辑联结词和善变的说谎者
  第十一章  语义表方法
  第十二章  所有和有些
  第十三章  一阶逻辑初步
第三部分  无穷性
  第十四章  无穷的本质
  第十五章  数学归纳
  第十六章  广义归纳、柯尼格引理与紧致性
第四部分  一阶逻辑的重要结论
  第十七章  命题逻辑的重要结论
  第十八章  一阶逻辑：完全性、紧致性和司寇伦-骆文海定理
  第十九章  正则定理
第五部分  公理系统
  第二十章  开始公理化
  第二十一章  更多的命题公理系统
  第二十二章  一阶逻辑的公理系统
第六部分  一阶逻辑深入
  第二十三章  克雷格插值引理
  第二十四章  罗宾逊定理
  第二十五章  贝思可定义性定理
  第二十六章  大一统
  第二十七章  一阶逻辑展望
参考文献
名词索引
中英文名词对照

内容大纲

作者介绍

目录

同类热销排行榜

推荐书目