康托儿的“数学理论必须肯定实无穷”观点是行不通的

wangyangke

曹俊云哟曹俊云，你看看你，是不是充分的愚蠢？

wangyangke

曹俊云，二百五，你行得通么？

wangyangke

作为一个论坛的坛友，友情提示副教授曹俊云——二百五曹俊云：
      在曹俊云所说的曹俊云所谓的“改革”“依赖真理”“会成功”的前提下，曹俊云半途而废，就是曹俊云愚蠢！曹俊云就是二百五！
      曹俊云搞改革不能半途而废哟，，，

jzkyllcjl

对于0.999……与1的关系。我证明过： “对于任意大的自然数n,n位小数0.999……9与1的差等于1/10^n, 这个数随n的无限增大，趋向于0，但永远不等于0。所以 等式0.999……永远不等于1. 这一个证明是符合事实、符合逻辑的证明。关于等式0.999……=1成立的、我见过的证明，我都发现它们都是违背逻辑法则的。   

wangyangke

做为一个资深二百五，曹俊云在论坛是一件大好事；——虽说论坛不乏二百五，曹俊云却将二百五做到了极致；曹俊云填补了论坛资深二百五空白，，

elim

jzkyllcjl 发表于 2016-6-23 01:49
对于0.999……与1的关系。我证明过： “对于任意大的自然数n,n位小数0.999……9与1的差等于1/10^n, 这个数 ...

jzkyllcjl 用有限小数冒充无尽小数的做法，不符合恩格斯的话，但符合他的畜生不如性质。

jzkyllcjl

elim 发表于 2016-6-23 13:07
jzkyllcjl 用有限小数冒充无尽小数的做法，不符合恩格斯的话，但符合他的畜生不如性质。

Elim发的说“畜牲不如”的帖子无用，我有三点创新
① 我发现了“无尽小数的写不到底的、不能作为定数”的性质；现行教科书中的等式1/3=0.333……, √2=1.4142……，π=3.1415926……都缺乏实践性证明，已有的某些逻辑证明不合理。
② 我提出了“无尽小数的实用意义是收敛无穷数列简写的性质。例如：无尽循环小数0.333……是收敛数列0.3，0.33，0.333，……的简写，这个数列的极限是1/3，这个数列中的数都是1/3的不足近似值，现行数学教科书中的等式1/3=0.333……应当改写为 0.333……→1/3或=0.333……～1/3, 后者表示一系列近似等式1/3≈0.3，1/3≈0.33,1/3≈0.333,……；但这个数列中的数永远达不到1/3。   
同理，现行教科书中的等式  π=3.1415926…… 是无法证明的、违反实践的、无用的、不能成立的、应当取消的等式。这个等式应当改写为：极限性等式3.1415926……→π， 或全能近似等式 π～3.1415926……，后者表示一系列近似等式π≈3.14，π≈3.141，π≈3.1415，π≈3.14159，π≈3.141592， ……。π≈3.1415926，π≈3.14159265， ……。
③ 我发现现行教科书中的“无尽小数为实数”的定义缺乏实践依据，应当改写为“理想实数是现实数量大小（例如线段长度）的表达符号，康托尔基本数列的极限为理想实数”的定义与公理。
我已发表含有上述意见的论文、专著， 对于我的这个发现与改革，elim 虽然提出过几次可以提出的反对意见，但都被我驳倒了。elim发表的 “畜牲不如”、“猿声啼不住，轻舟已过万重山”，“小学三年级差班、老生，上不了四年级”， “吃狗屎”，“卖国”的帖子已达上千次，都是无理的、诬蔑人的帖子。 这种做法是反对“除旧创新”的顽固保守的不应有的做法。
我对圆周率π与实数理论的认识
关于圆周率π已有很多研究与表达。我从这些研究与表达中，得到了有益有用的知识，但我也看到了一些不正确的、无用的应当改革的地方。例如，周髀算经中“周三径一”就是圆周率的一个表达，但它只能是误差界为1的圆周率的不足近似值；祖冲之得到的3.14159265是误差界为1/10^8的圆周率的一个不足近似值。茅以升介绍了法国人50万位小数的近代电子计算机计算结果，但根据圆周率不是有理数的研究结论，这个结果也是近似的，茅以升使用的等号应当改为近似等号。
提出圆周率表达符号π并称它是一个数的做法是有益的。这时对任意长的直径D，都可以写出它的圆周长C的表达式C=πD； 而且由此可以得出：π代表直径为1的圆周长。但与十进小数相比，这个数π不够清晰，人们无法指出它在钢尺上的位置。为此，就需要使用近似方法，例如使用有尽小数4.1416或3.14159265近似表示π 的大小，并称π为无理数。在此，需要指出：余元希《初等代数研究》上册定义2中，“称十进小数α=a0. a1a 2a3……为实数。当α是无限不循环小数时，特别叫它无理数。”不恰当。根据这个定义，得出的等式π=3.1415926……也不恰当。因为：无尽小数3.1415926……是永远写不到底的事物，它不能被看作定数。正确的做法是：必须坚持“无理数不能表示为有理数（包括有尽位十进小数）”的道理，取消无用的、无法证明的等式π=3.1415926……。 提出针对误差界1/10^n的不足近似值无穷收敛数列{3，3.1，3.14，3.141，3.1415，……}与过剩近似值无穷收敛数列{4，3.2，3.115，3.142，3.1416，……}，这两个数列的极限都是π。前一个数列，可以简写为：无尽不循环小数3.1415926……。于是有等式π=lim{3,3.1,3.14,……}=lim3.1415926……成立。考虑到数列{3,3.1,3.14,3.141，……}存在着任意小误差界下的足够准近似值，我们称这个数列为π的全能近似值序列，并称这个数列与圆周率π之间成立全能近似相等关系，记作π~3.1415926……。从这个全能近似等式中可以得到π≈3.1416,或π≈3.14159165358979323846 。在这个改革的意义下,可以得到每一个实数都是它的全能近似表达式的极限； 实数的四则运算法则是其全能近似值数列四则元算的极限。例如：π-1/3是无穷数列{3.1-0.3=2.8，3.14-0.33=2.81，3.141-0.333=2.803，……}的极限。 实数理论与无尽小数理论的这个改革是坚持“无穷是无有穷尽、无有终了、无有尽头、无有底的写不到底的；不是完成了的实无穷”意义的改革；这个改革就消除了布劳维尔提出的三分律反例，消除了连续统假设的大难题，消除了两千多年来的“实无穷与潜无穷观点”的争论。还应当取消等式1/3=0.333……、 0.999……=1、√2=1.4142……，建立全能近似等式1~0.999……与极限性等式1=lim0.999……。(详细论述参看：曹俊云 杨建辉著 《全能近似分析数学理论基础及其应用》中国水利水电出版社2009 )

elim

jzkyllcjl 实践吃狗屎充分尊重了狗吃屎的事实。可惜于数学没有关系。

jzkyllcjl 是全能近似等于饭桶，而已。

jzkyllcjl

elim 发表于 2016-6-24 03:31
jzkyllcjl 实践吃狗屎充分尊重了狗吃屎的事实。可惜于数学没有关系。

jzkyllcjl 是全能近似等于饭桶，而 ...

你说的“完成不是数学概念，从属关系的确定性是集合存在的必要条件”是一个睁眼瞎的瞎话。事实是：康托儿建立无穷集合、无穷基数时使用了“无穷（在数学中表现为无穷集）是一个现实的、完成的、存在着的整体” 的“实无穷论者”的完成的观点。你谈了选择公理与良序原理，但是，这条公理的使用得到了分球奇论。你谈了“定理 连续统不可数”，但是这个定理的证明中都使用了涉及排中律的反证法，而排中律对于不可判断问题是不能使用的。希尔伯特提出的元数学中，明确提出“在形式数学的论证中选择公理不能用；排中律在无穷集合中不能用”。

elim

在畜生不如的jzkyllcjl 那里，没有行得通的东西。jzkyllcjl 只有啼他搞不定事情的猿声的分。