哥德尔不完全性定理
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
科学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2019 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 164页: ; 21cm |
ISBN: | 978-7-03-059634-5 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/4826 |
Contents: |
中国人民大学哲学与认知科学交叉平台及国家社会科学基金支持 中国人民大学2018年度“中央高校建设世界一流大学(学科)和特色发展引导专项资金”支持 本书主要介绍哥德尔不完全性定理,在用简单例子解说哥德尔的本质思想的基础上,证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理,给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明,结合典型逻辑谜题与证明结果,表明了证明结果与模态逻辑的紧密联系。 |