数学理论的基础基础是实践，不是形式逻辑

Nicolas2050

用初等数学来证明这个问题都是无知。起码的实数完备性都不提？戴德金，欧拉柯西等的方法麻烦去看看吧。

Nicolas2050

1111111111111111111111

elim

jzkyllcjl 是具有不住吃狗屎啼猿声性质的学渣，是江郎才尽和夜郎自大的有机结合。所有数学家都是他批判的对象。

春风晚霞

Nicolas2050先生:
       不错，“实数连续性定理，实数完备性”是数学分析预备知识！然而，实数连续性定理，实数完备性的预备知识又是什么呢？
       我用过的《数学分析》教科书已经告诉你了。它们是不是盗版的《数学分析》？以先生的博学是不难判定的。
       Nicolas2050先生，37岁可算得上是如金似玉的好年华哟。但你知道吗？曹老先生研究1≠0.999…就有60多年的历史了。
       大概先生是博士夫人(皇帝的夫人叫皇后，博士夫人当然就是博士后了)吧？先生怎么连初等数学是高等数学的基础，高等数学是初等数学的拓展与提高的关糸都不知道呢？“用初等数学来证明这个问题都是无知。”先生为什么不先去看看这个证明的论据是否可靠，证明的逻辑演译是否严谨，证明的结论是否自洽，再判断“用初等数学证明这个问题”是“有知”还是“无知”呢？在先生看来“用初等数学证明这个问题都是无知”，用“实数连续性定理，实数完备性”等高等数学知识来证明这个问题就是“有知”了。只可惜我的论友根本就不买“实数连续性定理，实数完备性”等高等数学的帐。像用Cantor实数定义，Dedekind分割定理、Weierstrass致密性定理这些高深的、洋气的、不辱没博士夫人的方法，我们都用过了，但这些方法对我的论友无异对牛弹琴。先生能否根据复旦大学《数学分析》和你渊博的高等数学知识写一篇论证1 =0.999……或1≠0.999……的贴子与我们分享。让我的论友心悦诚服地放弃他的偏见？不然的话，先生的“有知”岂不就是坐而论道吗？

jzkyllcjl

笔者与数学界争论的核心问题是：数学理论不能单靠形式逻辑。必须以实践为基础，现实数量大小的测不准、画不准、算不准的事实必须受到尊重。ZFC形式语言公理体系必须被消除；康托尔的“数学必须肯定实无穷，无穷集合是完成了的整体的实无穷观点不成立”；∞是无穷大量研究中的广义极限性质的非正常实数+∞非正常集合，这样酒消除了第三次数学危机中的罗素悖论与你康托尔悖论。自然数n可以趋向于+∞，但永远达不到+ ∞。变量性无穷数列达不到其极限值的事实需要被尊重，这样一来，自变数的微分dx就是趋向于0，但达不到0的足够小辩证数；因此，微分是不是0呢？第二次数学危机得到解决。虽然毕达哥拉斯定理的形式逻辑证明是需要的， 但不能忘掉它的实践依据，不能忘掉它的应用中需要使用近似方法；√2 与π的绝对准十进小数表达式是永远算不到底的理想实数；离开了近似方法就算不出三边长为1.1 、√2、√3 的三角形的三内角大小；也算不出ln2 的绝对准大小；列宁办的话，——“如果不把不间断的东西割断，不使活生生的东西简单化，粗糙化，不加以割碎，不使之僵化，那末我们就不能想象、表达、测量、描述运动”也是数学理论阐述中必须使用的一个原则。这样酒消除了“无理数不能表示为有理数的第一次数学危机，也消除了第三次数学危机中的布劳威尔反例与连续统假设的大难题”。 此外，还需要提出“实数的非形式化定义”；“数列极限的非形式化定义”；“自然数集合、实数集合、数轴、函数的唯物辩证法概念”。需要取消无实用意义的勒贝格积分；需要取消使用无穷级数得到的没有导数的处处连续函数；需要取消康托尔的无穷序数、无穷基数理论；需要提出定积分是原函数增量的定积分定义替换黎曼和的定积分定义。笔者的这些改革虽然很大、很多， 但都有实践事实的根据与应用价值。现行数学教科书需要改革；笔者已经老了，希望读者与学术界改革现行的数学教科书。

elim

jzkyllcjl 的错乱实践不能成为 数学的基础。 数学不是形式逻辑，但必须遵循形式逻辑。

Nicolas2050

作者简介：曹俊云（1932-），男，河南唐河人，副教授，从事应用数学与基础数学研究，Email: cjy @ hpu.edu.cn; 河南理工大学数信学院，河南焦作，454000;

Nicolas2050

曹俊云老先生90岁了。还如此好勇斗狠啊，还追逐名利啊？佩服，我的年龄大的同事退休就去美国与孙子儿子团聚养老去了。越过越年轻。

任在深

人过七十古来稀，
九十高龄还奋蹄，
只想有年得真理，
何必道东又说西？
                             勤动脑筋身体好，
                             科研数学有动力，
                             总比吃喝有出息，
                             管它对错讲道理！

elim

任在深不断回避检讨被禁言数月的问题。是何道理？