哥德尔证明 = Godel's proof
Saved in:
Main Authors: | ; |
---|---|
Group Author: | |
Published: |
中国轻工业出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2021 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 142页: ; 21cm |
ISBN: | 978-7-5184-3286-8 |
Index Number: | B516 |
CLC: | B516.59 |
Call Number: | B516.59/4242-2 |
Contents: | 本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题,为首次进入哥德尔证明思想的读者提供了一幅简明地图。 |