线段长度的测不准，画不准性质与勾股定理、实数三分律问题

jzkyllcjl

定义3：只有位置而没有大小的点，叫做理想点；理想点具有无法被标志（画）出来的性质；相距0.001毫米的两个理想点是无法画出来的；能画出的表示理想点位置的有大小的点叫做现实性质的近似点；随着误差界序列  逐渐减小的表示一个理想点的近似点序列叫做全能近似点列；全能近似点列的趋向性极限是理想点。
在上述点、线的唯物辩证法观点下，线段的绝对准二等分、三等分、十等分，做不到，度量线段长度的尺或米尺的分点不是没有大小的理想点，所以线段长度具有测不准。画不准的性质；在线段长度表达问题上，分数也应当叫做理想几何元素中的理想实数。由于平行线公理的理想性，所以三角形三内角和等于180度的定理也具有理想性；对直径很大的球面（例如地球表面）上大圆被看做直线时，球面三角形三内角和大于180度。希尔伯特《几何基础》中，只讲几何公理，不讲点、线、面实践意义的做法是不完善的。为此，必须使用如上的理想与近似相互依赖，相互斗争、对立统一的几何元素的唯物辩证法概念。
在上述意义下，第一次数学危机的无理数就彻底解决了。事实上，第一次数学危机是毕达哥拉斯定理引起的。设直角三角形的三边可以用数字a、b、c绝对准表示，根据这个定理，使用形式逻辑法则证明了斜边长 的绝对准等式；根据这个等式才得到无理数√2、√3与π.。现在，根据形式逻辑演算中点、线、有理数的理想性，可知：斜边长 的绝对准等式也具有达不到的理想性，所以这些无理数也有理想性，它们都可以使用有尽小数近似表示。具体讲来，可以通过误差界序列 序列，得到理想实数 的全能不足近似值数列：1.4，1.41，1.414，……，这个无穷数列不可达到的趋向性极限才是 ，但它本身永远不等于 。现行教科书中的等式 =1.4142……是概念混淆的错误逻辑推导的结果。对于π，又有徐利治先生在文献[9]（徐利治. 自然数列的二重性与双相无限性及其对数学发展的影响）中介绍了布劳维尔（Brouwer）提出的三分律反例。这个反例涉及到无理数的无尽不循环小数的展开式中的① 这些展开式中没有“百零排（百零排表示100个连续的0）”；② 这些展开式中有奇数多个“百零排”；③ 这些展开式中有偶数多个“百零排”的三个命题，这三个命题都不是能行的可判断的问题。关于 可判断问题，在黄耀枢《数学基础引论》[10]（北京：北京大学出版社，1987出版，）讲了：“定义1.20(能行可判断性)  如果存在一个算法，使得对所给的公式集合中每一个公式的真假，都能在有穷步数内做出答案，那么我们说这集合中的公式是能行可判断的”。根据这个定义，上述三个命题都不是能行可判断问题，猅中律失效。由于无尽不循环小数展开式具有永远算不到底的不可判断的性质，布劳威尔不能使用两次猅中律，提出一个实数Q，与这个实数 是大于、小于或等于0的无法判定实数的三分律反例，虽然徐利治说过“在实无穷意义下，应用两次排中律可以判断这个实数 是大于、小于或等于0的问题”，但“这个问题不是实无穷问题，究竟这个实数 是大于、小于或等于0呢？的问题是一个无法判断的问题”。所以，徐利治先生在这个文献最后讲到：“看来，这还是一个不易解决的难题”,“希望对布劳维尔(Brouwer)反例感兴趣的读者继续研究下去”。笔者研究后得到的结论是：根据“无穷是无有穷尽、无有终了的事实”，“百零排”的这三种命题都是由于永远算不到底的不可判断的命题，布劳维尔（Brouwer）不能使用两次猅中律，提出他那个实数Q，这样就消除了布劳威尔这个反例。

elim

jzkyllcjl 以四则运算缺除法的程度搞上述招摇撞骗，话该被人类数学抛弃．

春风晚霞

曹老头主张的改革不是数学地拓展与进步，而是对两千多年数学成就地摧毁。曹老头，你引用他人关于数学的论述必须忠诚于原文。须知恩格斯的无穷观是实无穷观，徐利治先生的无穷观是双相无穷观。你用他们关于无穷的论述，来佐证你似是而非的数学观点，不感到滑稽可笑吗？

永远

建议封号：jzkyllcjl，任在深等

任在深

永远 发表于 2023-4-15 08:02
建议封号：jzkyllcjl，任在深等

傻小子
             不知羞耻！

永远

任在深 发表于 2023-4-15 08:53
傻小子
             不知羞耻！

天天宣传奇葩荒谬言论，到处叫卖，烦的一批！

任在深

永远 发表于 2023-4-15 09:03
天天宣传奇葩荒谬言论，到处叫卖，烦的一批！

傻小子：
            你吃到肚里都是板油；记在心中都是知识！
             否则你永远啥也不是！！

任在深

elim 发表于 2023-4-15 10:01
这两人是在论坛上制造最多垃圾的人。任曾是某部空军地勤(估计是厕所兵之类)，多年前有个力挺 jzkyllcjl 的 ...

elim造谣污蔑 ，胡说报道，无中生有，品质恶劣！

elim

这两人是在论坛上制造最多垃圾的人。任曾是某部空军地勤(估计是厕所兵之类)，多年前有个力挺 jzkyllcjl 的缝隙论倡导者顽石在本论坛引入了狗屎堆一说，任对此大为折服，以军人的荣誉致以敬礼。本人慎思后悟出，他们颠三倒四的歪理千头万绪，归根结底还不就是一句话，狗屎堆逻辑！ 概而括之，顽石是狗屎帮师，任在深是向狗屎堆行军礼的第一人，jzkyllcjl 是尊重狗吃屎的事实就去践行吃狗屎的第一人。言简意赅，十分贴切。

顽石已多年不发声，恐已不在人世，他曾是一名没有多少中学数学教养的高级工程师，帖子充满悲情，对国内的数学权威深恶痛绝并有很深的被孽幻觉，这可能使他长期不悦，终于伤到了身体。

任在深集中了小炉匠栾平的痞子德性，根本没有廉耻，数学的真理性在他那里不值一文，他膜拜土匪的口令【天王盖地虎，宝塔镇河妖】之类的“豪言”，并自恋他叫卖烂货的调性韵律。实在令人作呕，这种人上窜下跳，着实丢论坛的颜面。被禁声数月，现在又在作死．呜呼哀哉.

jzkyllcjl 退休前是某地方学校的概率论副教授。五十年代毕业的学渣。天生愚质，他不断念念有词唯物辩证实践但铁认狗屎理，一生致力于颠覆羞辱他智商的数学, 不遗余力地收集诋毁数学的各种说词。终于走火入魔，用谎言把自己绕了进去。
网友 wangyangke 对他的研究结果是

定理：曹俊云是个无怨无悔死心塌地的资深二百五。
证明：在曹俊云所说的曹俊云所谓的“改革”“依赖真理”“会成功”的前提下，曹俊云半途而废，就是曹俊云愚蠢！曹俊云就是二百五！
“恩格斯的一段话”、“茅以升的话”、对立统一、庄子的一尺之锤、幻想与现实、无穷是写不完、走不过去回头看看、实践、辩证法、太极图、曹俊云的小孙子及其教师、小学课本，形式逻辑与辩证逻辑等等都在帮助曹俊云或者支撑曹俊云的改革，如果曹俊云的的改革再停止不前或不成功，曹俊云就是扶不起的阿斗，曹俊云就是糊不上墙的烂泥巴，曹俊云就是二百五！

他曾两次因私販其谬说遭学生罢课，说明他的东西的毒性并不高，但他的种种迷思谬说对一些没有数学学历，定力不足的网友还是有误导或共鸣的。在这个意义上，他的迷思谬说可以被提炼成数学抗病毒的疫苗，jzkyllcjl 值得留在论坛时常被吊打。

jzkyllcjl

春风晚霞 发表于 2023-4-14 22:00
曹老头主张的改革不是数学地拓展与进步，而是对两千多年数学成就地摧毁。曹老头，你引用他人关于数学的论述 ...

恩格斯没有说“无穷集合是完成了的整体”，恩格斯在《反杜林论》第一编“五、自然哲学、时间和空间”一节的，48页讲到：“杜林先生，永远做不到没有矛盾地思考现实的无限性。无限性是一个矛盾，而且充满着矛盾。无限纯粹是由有限组成的，这已经是矛盾，可是事情就是这样”的说法，提出无限来源于有穷集合的本质及其性质。首先，根据自然数的十进计数法可以提出如下的三个以有穷集合为项的无穷序列 ：
{0，1}，{0，1，2}，……，{0，1，2，……，n},……     （1）
或{0，1，2，……，9}，{0，1，2，……，19}，……，{0，1，2，……，10n-1}, ……(2)
或{0，1}，{0，1，2，3，4},……，{0，1，2，……， },……（3）
然后使用广义极限的方法，得到这三个无穷序列的趋向性极限都是想象性的元素个数为+∞的无穷集合。式中符号+∞是华东师大《数学分析》上册1980年版80 页无穷大量研究中讲的“非正常（或称广义）极限[4] 性质的“非正常实数”。序列（1）中各个集合的元素个数为无穷数列{n+1}，序列（2）中各个集合的元素个数为无穷数列{10n}，序列（3）中各个集合的元素个数为无穷数列 ，虽然这三元素个数序列的广义极限都是+∞，但根据菲赫金哥尔茨《微积分学教程》第一卷一分册整序变量的计算不定式, 与 的定值法则，都需要使用∞与0的取极限之前的变数计算其不定式的极限值，因此上述三个+∞ 表示的多少是不相同的：（2）式表示的比（1）式表示的元素个数多，（3）式表示的元素个数比（1）（2）式都多。这说明：文献[5]（张锦文编著. 《集合论与连续统假设浅说》）34-38页提出了“把N记作ω”，“ω是一个序数，而且是一个最小序数”，“把ω记作ω0”，然后把ω0 记作 ，并称它为第一个无穷基数。与前述自然数集合的三个构造过程来看，康托尔把无穷集合元素个数看做定数，提出上述无穷序数、无穷基数，自然数集合元素个数为 的做法是违背事实的。为此，需要提出如下的自然数集合的以实践事实为根据的定义。
定义2：元素个数为有限理想自然数的正常集合叫做有穷自然数集合；以元素个数无限增多的有穷自然数集合为项的无穷序列的元素个数序列的趋向于+∞：包含所有自然数的元素个数为非正常实数+∞的自然数集合叫做：元素个数为非正常实数+∞的含有所有自然数的，不可构造完毕的想象性质的、无穷性质的、非正常自然数集合；依照惯例，可以记作：N=｛0，1，2，3，……｝。