一本数学教材《不完备性和可计算性：哥德尔定理的开放导论》

ic.openlogicproject.org/

本书是一本面向已具备一阶逻辑基础的读者的教材，深入探讨了哥德尔不完备定理、递归函数理论、可计算性、不可判定性等数理逻辑的核心议题，并介绍了模型论、二阶逻辑和λ演算等相关内容。阅读本书可帮助读者理解数学基础的局限性，掌握可计算性的核心概念，提高逻辑推理能力，并为进一步学习数理逻辑打下坚实基础。