AI导读
核心看点
- 塔尔斯基数理逻辑入门经典
- 用逻辑重构初等数学公理
- 兼顾严格性与通俗性讲解
适合谁读
- 数理逻辑初学者
- 哲学与数学爱好者
- 离散数学相关学习者
读前提醒
- 注意早期术语与现代差异
- 警惕译文中的印刷错误
- 第二部分需一定数学基础
读者共识
- 优秀的数理逻辑科普读物
- 翻译瑕疵较多建议对照原文
- 入门友好但需耐心细读
本导读基于书籍简介、目录、原文摘录、短评和书评生成，不等同于全文精读。
精彩摘录
- "一个任意的类K，无疑的，存在着这样一个性质，这个性质只属于所有同K等数的类，而不属于任何其他的类（也就是说，“同K等数”这样的一个性质。）这个性质，就叫做K类的基数"
- "数的概念，以及同样的，其他一切算术概念，都是能够在逻辑范围内加以定义的……例如，数1就可以定义为这样一个类的元素的数目，这个类是由恰恰一个元素构成的。"
- "一个自然数是一个有穷类的基数"
- "有同样的大小与形式"
目录
用户评论
第二部分完全是教你如何成為一個數學家。
我真的读完了吗（心虚
《离散数学》
毕业设计里基于的描述逻辑采用了A. Tarski的表示法，看了一点很有趣干脆看完吧。反正说也是大学数理逻辑什么的基本教程。。。
有许多翻译错误，有能力最好读英文版的
高中级的知识，大师级的思考
花了10天左右时间看完，算是一本非常好的小书了。翻译有点小错误，编辑的错误就有点多了。现在我们能很容易找到比这本书内容深的书，也名为导论，那些书的作者更像是编撰者而非著述者，而亲身参与过逻辑学跨越式发展的本书作者，他的写作就显得举重若轻了。很多很好的小书，它们的优点都是这样的，我很喜欢读这类小书。
粗略翻完，第二部分的阅读需要更多数学性知识。
逻辑与演绎讲的还可以，就是看着看着数学相关让我头痛.....
真是太友善了
收藏