Study note

Godel's Incompleteness Theorems

View original Back to list

Properties

Type: Books
Status: 想读
Domain: Math
Category: 逻辑、集合论与范畴
Source: book.douban.com
Vault note: library/books/math/Godel's-Incompleteness-Theorems-1fc823a379937647.md

Raymond Smullyan 写的哥德尔不完备定理入门，围绕 1931 年不可判定性结果，以及逻辑完备性、数论不完备性、选择公理和连续统假设的一致性等主题展开。

要求读者具备基础数理逻辑知识，适合数学、哲学和计算机科学读者用较短路径理解这一困难但核心的主题。

Raymond M. Smullyan；1992-8-20。

Loading comments...