自然数的紧化延伸机器证明系统
《自然数的紧化延伸机器证明系统》,作者:郁文生,窦国威 著 出版社:科学出版社 ISBN:9787030775450。数系的扩充始终贯穿于数学理论的发展之中.《自然数的紧化延伸机器证明系统》利用交互式定理证明工具Coq,在Morse-Kelley公理化集合论形式化系统下,给出中国科学技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统,包括超滤空间与算术超滤的基本概念、超滤
投稿
微信公众账号
微信扫一扫加关注
顶部