书目信息 机读格式(MARC)
公理化集合论机器证明系统
| ISBN/价格： | 978-7-03-064039-0:CNY128.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 公理化集合论机器证明系统/.郁文生，孙天宇，付尧顺著 |
| 出版发行项： | 北京:,科学出版社:,2020.3 |
| 载体形态项： | 13,293页:;+24cm |
| 丛编项： | 数学机械化丛书13 |
| 提要文摘： | 本书利用交互式定理证明工具Coq，实现Morse-Kelley公理化集合论形式化系统，包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述，其中构造了序数和基数，定义了非负整数，把Peano公设当作定理，可以迅速而自然地给出一个数学基础，摆脱了明显的悖论。 |
| 题名主题： | 集论公理系统 机器证明 |
| 中图分类： | O144 |
| 个人名称等同： | 郁文生 著 |
| 个人名称等同： | 孙天宇 著 |
| 个人名称等同： | 付尧顺 著 |
| 记录来源： | CN 浙江省新华书店集团公司 20200331 |