公理化集合论机器证明系统
暂无封面,等待上传

公理化集合论机器证明系统

郁文生, 孙天宇, 付尧顺, 著

出版社:科学出版社

年代:2019

定价:98.0

书籍简介:

利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论。这是Morse-Kelley公理化集合论系统的首次形式化实现。

书籍规格:

书籍详细信息
书名公理化集合论机器证明系统站内查询相似图书
丛书名数学机械化丛书
9787030640390
如需购买下载《公理化集合论机器证明系统》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位科学出版社
版次1版印次1
定价(元)98.0语种简体中文
尺寸24 × 17装帧平装
页数 200 印数

书籍信息归属:

公理化集合论机器证明系统是科学出版社于2019.12出版的中图分类号为 O144 的主题关于 集论公理系统-机器证明 的书籍。