算术超滤（自然数的紧化延伸）/皖籍科学家学术文库

作者简介

汪芳庭，1940年出生于安徽省安庆市，1962年毕业于上海复旦大学数学系。曾任中国科学技术大学数学系教授，长期从事基础课教学。主要研究领域为数学基础与数理逻辑，在关于算术超滤理论与应用的研究以及哥德尔第二不完备性定理证明的研究方面取得成果。部分研究成果曾分别在欧洲逻辑会议(Logic Colloquium’88)与世界数学家大会(ICM 2002)上宣读。主要著作有《数理逻辑》《数学基础》。

内容简介