统一无穷理论-科学网—博客.PDF

薛问天：评《统一无穷理论》 错误的症结所在 评《统一无穷理论》 薛问天 2013.01 第 1 页 共 54 页 薛问天：评《统一无穷理论》 目录 目录2 科 019- 应正确理解Löwenheim–Skolem定理，由它得不出实数集可 数的结论 3 科 025- 再论应正确理解Löwenheim–Skolem定理6 科 034- 评论 1 . 用无穷层满二叉树的遍历等方法证明 “实数集可数” 的错误分析 10 易006- 评论2 沈先生的误解和错误—评对康托“实数集不可数”证明 的质疑16 易 017- 评《统一无穷理论》错误的症结所在23 易 021- 何教授有必要挑战公理集合论吗？29 易 027-1 《统一无穷理论》的证明错误解密(上) 36 易 027-2 《统一无穷理论》的证明错误解密( 中) 40 易 027-3 《统一无穷理论》的证明错误解密(下) 45 附：易 015-[转载] 郝克刚：论无穷编码的实数镜像数-沟壑满布 《统一 无穷理论》难以逾越 50 第 2 页 共 54 页 薛问天：评《统一无穷理论》 科 019- 应正确理解 Löwenheim–Skolem 定理，由它得不出实数集可 数的结论 2012-09-15 18:22:17| 分类： 评论园地 | 标签：19 薛问天 low.–skolem定理 |字号大中小 订阅 【文清慧注：这篇文章是作者薛问天 2012.7.31 投来的原发文章。下面是全文。】 应正确理解 Löwenheim –Skolem 定理， 由它得不出实数集可数的结论 作者：薛问天 2012.7.31 xuewentian2006@ 最近网上在质疑何华灿教授所著《统一无穷理论》认为自然数集与实数集等 [1] 势的观点时，有人拿出了Löwenheim –Skolem定理 （本文简称其为LS定理），说 ： “自然数集与实数集等势”，更准确一些说，实数集可以是可数集，这个结论并不 荒谬，这个结论在 1950 年代就有了，是数理逻辑中 first order logic 理论 中Downward Löwenheim–Skolem theorem 的一个特例。 这是对 LS 定理的一种误解，由LS 定理得出的是实数的一阶理论可以有可数 模型，并不等于说实数集是可数的，因为实数的一阶理论的模型和实数集合是两 个不同的概念。更何况 LS 定理是以层次无穷理论为前提的，如果无穷集合的势都 相等，就没有必要谈一阶理论存在具有更大或者更小势的模型的问题，L S 定理就 没有任何意义了。 下面让我们简要介绍 LS 定理，先介绍一些基本概念。 首先要说的是集合的势 （cardinality ），或称为基数。LS定理是以层次无穷理 论为基础的，也就是说可以作为集合势的，除了有穷集的势取自然数以外，对于 无穷集合，势可以是： ℵ , ℵ , ℵ ,… ，其中ℵ 即可数无穷。集合S 的势记作：|S|。 0