【取整问题】[1.999……]=?

elimqiu

下面引用由风花飘飘在 2013/04/17 10:52am 发表的内容：
《一》风花飘飘饺子大定理：若A≠1，则（A+1）/2≠1成立。
《二》风花飘飘饺子小定理：若（A+1）/2≠1成立，则A≠1成立。
《饺子汤定理》是这样的： 若 (A + 1) / 2 = A, 则 1 = A
今有 A = 0.999……
...

定理不是政策，不能既对又不对。大小饺子定理在现行数学里就是说(1+A)/2≠A当且仅当A≠1。没错。只是拿它们推A≠1没门。得先称A≠1
是醉酒后的逻辑

elimqiu

下面引用由ataorj在 2013/04/17 10:43am 发表的内容：
我不懂夹逼,我质疑极限方法的本质严密性.它说它正确,不过是自说自话,自认没有缝隙.

下面引用由风花飘飘在 2013/04/17 10:52am 发表的内容：
牛X在前

数学终其根基，法则，都需要定则公理及基本约定，定义。说这是牛X在前也沒错，牛X不在前，叫光说不练，必是扯蛋。问题在于在前的是真牛假牛。
连0.999...是什么都得有牛在前。否则不外乎是语无伦次，不知所云。你质疑勾股，勾就不股了?须知要质疑标准分析，你也得先牛出一套自洽的数系来，还得定义一下什么是无尽小数。否则你是默认现行数学的约定，要想推翻0.999...=1 没有可能，只会自相矛盾。[br][br]-=-=-=-=- 以下内容由 elimqiu 在 时添加 -=-=-=-=-
夹逼定理的最简形式：若A非负且小于任何1/n, 则A=0
想质疑这个，又不致陷入矛盾，只有一条出路：非标准分析。

elimqiu

不同的见解并非都正谬掺半，旗豉相当。＂克服＂卡佛来利的缺点的线段由线段构成的说法毕竟跟废话没有区别，什么都克服不了。
对无穷的认识的不同见解再怎么对立，也无法扼杀公理方法和集合论。不同数学理论的较量，如果无一因不自洽而先行淘汰，则无例外地被归结为不同的公理系统，成为类似于欧氏和非欧几何似的无谓之争。
现行的公理集合论排除了康托的朴素集合论会有的悖论。所用的方法类似于在数系中规定0不能作除数。今天对集合论感觉不快的人主要是对抽象思维不快，惦记失去了的朴素。
至于哥德尔的（关于公理方法）不完备定理，本质上是说人类理性成就在任何阶段都不能构成不缺页的万宝全书。这个划时代的定理无非是说佛也不是全知全觉的。没有全知全觉的觉者，或说佛不是上帝。哥德尔理论是研究公理系统的。在他看来，非公理化的＂系统＂压根就不成体统，还没准备好讲理，还处于不知所云的状态，是不值，也无法拿它当回亊的东西。　
[br][br]-=-=-=-=- 以下内容由 elimqiu 在 时添加 -=-=-=-=-

下面引用由风花飘飘在 2013/04/21 02:01am 发表的内容：
1》若（1+A）除2不等于1，
当且仅当A不等于1。
2》若（1+A）除2等于A。当且仅当A等于1。
两条“类公理”都是正确的！呵呵

在现行数学中它们都是定理。不正确的不过是你诡称前者可以推出0.99999...不等于1而已

太阳

太阳

elimqiu

曹老忙着数9写9，要用实践证明无穷无有穷尽。主任找0.999...的单位介绍信，都不是三言两语说得完的
其实不识数也可以活得好好的，做生意小数点后8位八辈子都够了。万类霜天竞自由。最好别隔行管数学的沉浮。
太阳忙好升起降落就谢天谢地了，但愿玩小数不是在发挥余热，要是太阳这是在作死竭之争扎，咱可都得玩完。

任在深

下面引用由elimqiu在 2013/04/22 00:52am 发表的内容：
曹老忙着数9写9，要用实践证明无穷无有穷尽。主任找0.999...的单位介绍信，都不是三言两语说得完的
其实不识数也可以活得好好的，做生意小数点后8位八辈子都够了。万类霜天竞自由。最好别隔行管数学的沉浮。
太　...

哈哈！
    看来只有老师牛哇？！
                          人之初，
                          性本善，
                          ，，，
                          ，，，
                          ，，，
                          子不孝？
                          父子过！
                          子不会？
                          师之惰乎，，，，，，，，，，，，，？