汪芳庭编著2010 年出版205 页ISBN:9787312027086
本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
汪芳庭编著2018 年出版283 页ISBN:9787040502428
本书在介绍数学基础的历史之后,系统讲述现代数学主体的基础-----ZFC集论,其中重点详述四种数(自然数、实数、序数和基数)的理论。实数的构造与传统的Dedekind分割和Cantor基本序列等构造方法不同,采用了算术超滤...
算术超滤 自然数的紧化延伸 end extensions of n in βn
汪芳庭著2016 年出版147 页ISBN:9787312038280
算术超滤是自然数概念的一种自然推广。20世纪末,作者在对算术模型的研究中,发现超滤空间βω内有一类特殊点可用于构造一种结构极为简单的不可数算术模型,该模型可用来简单、自然地构造实数(即用有限分数的等价...