回顾过去,40年前,袁萌在中科院计算所数理逻辑讨论班上使用柯序列等价类直接创建超实数系统,实质上,就是这种超幂构建方法。
时光在流逝,事物在变化,如今时代不同了。今年9月18日,超幂构建超实数方法正式“上线”,读者手指一“点”,信息即可到来。
利用超幂构建超实数系统方法, 何处寻?在百度搜索框输入网址“wqxwjf.com”(无穷小微积分拼音缩写)即可找到“无穷小微积分”专业网站。进入该网站,点击相关下载按钮(第四个下载按钮)即可。
对于超实数“迷”而言,今天是一个值得纪念的日子。
袁萌 陈启清 9月18日
附:哥德布林数学“讲稿”第二章构建超实数的有关章节
2.1. Approach 1: The compactness theorem(方法一:利用数理逻辑紧致性定理构建方法)
2.2. Approach 2: The ultrapower construction (方法二:利用超幂构建方法)