安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

北京:科学出版社,2019

ISBN及定价:

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

载体形态项:

164页;21cm

并列正题名:

Godel's incompleteness theorems

个人责任者:

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

个人次要责任者:

余俊伟 1974- 译

学科主题:

哥德尔定理-研究

中图法分类号:

O141

一般附注:

中国人民大学哲学与认知科学交叉平台及国家社会科学基金支持 中国人民大学2018年度“中央高校建设世界一流大学(学科)和特色发展引导专项资金”支持

相关题名附注:

书名原文:Godel's incompleteness theorems

提要文摘附注:

本书主要介绍哥德尔不完全性定理,在用简单例子解说哥德尔的本质思想的基础上,证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理,给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明,结合典型逻辑谜题与证明结果,表明了证明结果与模态逻辑的紧密联系。

豆瓣简介：