邵阳学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

哥德尔不完全性定理/(美) 雷蒙德·M. 斯穆里安著 余俊伟译

出版发行项:

北京:科学出版社,2018

ISBN及定价:

978-7-03-059634-5/CNY78.00

载体形态项:

164页:图;21cm

统一题名:

Godel's incompleteness theorems

丛编项:

应用逻辑与逻辑应用研究前沿译丛

个人责任者:

斯穆里安 (Smullyan, Raymond M.) 著

个人次要责任者:

余俊伟, 1974- 译

学科主题:

哥德尔定理-研究

中图法分类号:

O141

一般附注:

本成果受到中国人民大学哲学与认知科学交叉平台及国家社会科学基金（基金项目号：13BZX064）支持 本成果得到中国人民大学2018年度“中央高校建设世界一流大学（学科）和特色发展引导专项资金”支持

相关题名附注:

原文题名取自版权页

书目附注:

有书目 (第159-160页) 和索引

提要文摘附注:

本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初不使用真概念基于ω-一致性的不完全性证明，罗瑟的基于简单一致性的不完全性证明。本书还介绍了谢颇德森表示与分离定理、不动点定理、第二不完全性定理、与不完全性定理相关的一些逻辑谜题以及不完全性定理和模态逻辑的关联。

豆瓣简介：