纪念吴允曾先生诞辰100周年

吴允曾（1018.04.04 – 1987.6）北京大学教授，知名数理逻辑学者和计算机科学专家。今天是吴允曾先生诞辰100周年纪念日。

吴允曾先生是可替代集合论（An Alternative Set Theory）学者，引入中国的第一人。

可替代集合论（AST）将ZFC公理系统的无穷公理替换为无穷公理的否定

而得到的一种新型集合论。

在AST中，任何形式上有限的集合A都包含无穷“子类”。也就是说，无限在有限之内，而不在有限之外，是对康康托尔集合论的“背叛”。

AST的创立者是捷克数学家Petr Vopenka（1935-2015）在上世纪70年代首次创立的。Vopenka的代表作是“The mathematics in the alternative set theory”（1979）。在上世纪80年代，袁萌指出AST与无穷小微积分（非标准分析）的理论联系。

袁萌  4月3日