Study note

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic

View original Back to list

Properties

Type: Books
Status: 想读
Domain: Math
Category: 逻辑、集合论与范畴
Source: dirkwhoffmann.de
Vault note: library/books/math/Limits-of-Mathematics-A-Journey-Through-the-Key-Areas-of-Mathematical-Logic-47f0bace243eb8a3.md

围绕“数学中什么可以证明、计算和形式化”展开的现代数理逻辑教材，从逻辑史和形式系统出发，系统介绍公理化数论与集合论、证明论、Gödel 不完备性定理、可计算性理论、算法信息论和模型论。

把数学基础的几条主要路线放进同一幅图景，并以一致性、真理与可证性、停机问题及不可判定性等问题串联内容；书中包含大量双色插图和 70 多道习题，作者网站提供解答，适合在基础离散数学之后系统进入数理逻辑。

Dirk W. Hoffmann；2025。

Loading comments...