书目信息 机读格式(MARC)
数理逻辑导引
| ISBN/价格： | 978-7-03-054579-4:CNY198.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 数理逻辑导引/.冯琦编著 |
| 出版发行项： | 北京:,科学出版社:,2017.9 |
| 载体形态项： | 510页:;+24cm |
| 丛编项： | 现代数学基础丛书 |
| 提要文摘： | 本书旨在系统地引导数理逻辑一阶系统理论，包括一阶逻辑的三大基本特征定理：哥德尔完备性定理、紧致性定理、以及可数同质子结构存在性定理；并且以数这一基本常识观念为中轴线，包括自然数、整数、有理数、实数和复数，系统地展开人类对于数的理性和系统认识之学：数理逻辑所提供的关于数的认识或者解释的本质理论，以公理化来阐明相关认识的完全性、或者揭示其不完全性，这将包括一系列关于复数、实数、有理数、整数理论完全性定理，以及关于自然数认识的哥德尔不完全性定理，和巴黎-哈灵顿不完全性定理。 |
| 题名主题： | 数理逻辑 |
| 中图分类： | O141 |
| 个人名称等同： | 冯琦 编著 |
| 记录来源： | CN 浙江新华 20171020 |