数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
楼主: 谢芝灵

讨论:这个反证法 证明了“0不能作除法分母”吗?

[复制链接]
 楼主| 发表于 2020-3-26 07:41 | 显示全部楼层
本帖最后由 谢芝灵 于 2020-3-25 23:47 编辑
elim 发表于 2020-3-25 03:59
不知道什么是分母, 什么是 0 还好意思开这个主题的, 畜生不如.


我们证明的元素是: 1/0
也 是你说的 1单位乘法0的逆元也是:1/0

也就是要 证明 : 1/0 属矛盾。==== 因为最后推出了矛盾。
也就是 要证明 : 1/0 属错误。==== 因为最后推出了错误。

也就是要 证明 : 1/0  不存在。==== “不存在”怎定义?
“不存在” 属 矛盾?还是属自洽? ====总得归属其中一个吧!
“不存在” 属 错误?还是属正确? ====总得归属其中一个吧!

所以,我们讨论的对象 1/0  ,我们就是要证明 1/0  属矛盾(也叫 1/0错误,或叫 1/0不存在)。

反证法:假设  1/0  合逻辑(既 正确、存在、自洽)。
之后我们才能引用 1/0 这个元素 进行正确的数学逻辑推理。
如果得到矛盾。就推翻假设。
证得: 1/0 矛盾( 1/0错误, 1/0不存在)。

懂不!
回复 支持 反对

使用道具 举报

发表于 2020-3-26 17:09 | 显示全部楼层
你是喜欢逻辑 方法的,这个方法确实需要。但唯物辩证法 也是 需要的, 0/0 的不定式 是需要 研究的。你提出的 不可列集 的证明问题需要继续下去,不能半途而废。否则就是前功尽弃。实数理论的问题 也是需要研究的,你也不能半途而废。

点评

谢谢!我会的。宇宙存在事实(真相),人类要把这些表达出来就必须用到逻辑。数学来源于物质事实才有数学规律,人类再用逻辑符号去表。  发表于 2020-3-27 08:39
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-3-27 08:47 | 显示全部楼层
elim 发表于 2020-3-25 03:56
没有兴趣跟一个江郎才尽还夜郎自大的玩这一出了. 一早就所了, 试试邪灵有救没有. 结论是----------- 没有.

0不能为分母,是论证什么?

我们论证的元素是: 1/0
也 是你说的 1单位乘法0的逆元也是:1/0

也就是要 证明 : 1/0 属矛盾。==== 因为最后推出了矛盾。
也就是 要证明 : 1/0 属错误。==== 因为最后推出了错误。

也就是要 证明 : 1/0  不存在。==== “不存在”怎定义?
“不存在” 属 矛盾?还是属自洽? ====总得归属其中一个吧!
“不存在” 属 错误?还是属正确? ====总得归属其中一个吧!

所以,我们讨论的对象 1/0  ,我们就是要证明 1/0  属矛盾(也叫 1/0错误,或叫 1/0不存在)。

反证法:假设  1/0  合逻辑(既 正确、存在、自洽)。
只有假设 1/0  合逻辑之后,我们才能引用 1/0 这个元素 进行正确的数学逻辑推理。
如果得到矛盾。就推翻假设。
证得: 1/0 矛盾( 1/0错误, 1/0不存在)。

正常的数学推理你能拿一个错误去做依据吗?不能!
懂不!

还有18#我就公布答案,加油!
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-3-27 09:34 | 显示全部楼层
主流数学乘法逆元的定义,

乘法逆元的定义:是指数学领域群G中任意一个元素a,都在G中有唯一的逆元a’,具有性质a×a'=a'×a=e,其中e为该群的单位元。

群G的定义:同维元素(也叫同类数)。
同维元素(同类数)定义:数轴上不同线段。

一维的数,能用一维的数轴 上的不同长度的线段表示;
二维的数,标识长度单位元后能用一维的数轴 上的不同长度的线段表示;
同理,所有同维元素,只要标识长度单位元后都能用一维的数轴 上的不同长度的线段表示。

所以,必须按定义为条件去“数学”。
回复 支持 反对

使用道具 举报

发表于 2020-3-27 12:06 | 显示全部楼层
为了消除纯形式逻辑带来的三次数学危机与悖论’难题反例,笔者使用唯物辩证法出版了《全能近似分析数学理论基础及其应用》,并在2010年高等数学研究第四期78—84页发表了论文“全能近似分析简介”。 这篇论文介绍了康托尔的基本数列 之后,将康托尔实数定义改写为 下边的公理。
公理1  每一个康托尔基本数列都存在一个唯一的理想实数为其极限,而且全能近似相等的基本数列的极限相同. 反过来,每一个理想实数都存在着以它为极限的康托尔基本数列.
     笔者称称,康托尔的等价符号“~” 为全能近似相等或等价。若数列 的极限是 , 可写作 . 例如无尽循环小数0.333……是无穷数列 的简写. 其极限是 ,记作0.333……~1/3. 0.333……是理想实数1/3的一个全能近似表达式。具体一点,0.333……是1/3的针对误差界序列{1/10^n}的全能不足近似值无穷数列。它本身是个变数,而不是定数,它的趋向性极限,即表达式 lim n→∞0.33……3(n个3)才是1/3.  根据这个改革后的实数理论,实数的四则运算就是收敛数列四则运算的极限。
    例一:1-0.333…… 是 收敛数列的算式。 它的趋向性极限是无穷数列1-0.3=0.7, 1-0.33=0.67, 1-0.333=0.667,…… 的极限2/3。
例二,将自然数依次写在小数点后,得到无尽不循环小数 0.0123456789101112……,这个无尽小数就是一个无理数的针对误差界序列{1/10^n}的全能不足近似值收敛无穷数列,对这个无理数没有人研究过,随便给它一个表达符号就可以了,这个无尽不循环小数就全能近似地表达了它的大小,不需要为它的大小是什么与究竟是哪个实数去计算与研究。计算1-0.0123456789101112……是 多大时, 需要知道 这是收敛数列的运算,可以求它的趋向性极限。这时,可以用一个适当的符号(例如YSU)表示被减数列的极限,于是这个减式的极限是1-YSU,它是理想实数,这个理想实数也是一个无理数。这个表达符号在表达大小上不够好,所以需要用十进小数表示,但绝对准做不到,只能使用足够准近似或全能近似表达式 表示它。使用计算器可以得到它的准确到小数点后11位的过剩近似值为:0.98765432109; 不足近似值为0.987654321089。其全能近似值无穷数列可以写作0.987654321089……的无尽不循环小数的收敛数列。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-3-27 16:08 | 显示全部楼层
elim 发表于 2020-3-25 01:18
谢芝灵推翻了人类数学的证据, 就是他被人类数学彻底抛弃. 不过谢芝灵还是有可能在畜生不如方面胜出 jzkyllc ...


0不能为分母,是论证什么?

我们论证的元素是: 1/0
也 是你说的 1单位乘法0的逆元也是:1/0

也就是要 证明 : 1/0 属矛盾。
换种说法也就是 要证明 : 1/0 属错误。

再换种说法也就是要 证明 : 1/0  不存在。==== “不存在”怎定义?
“不存在” 属 矛盾?还是属自洽? ====总得归属其中一个吧!
“不存在” 属 错误?还是属正确? ====总得归属其中一个吧!

所以,我们讨论的对象是 1/0  
我们就是要证明 1/0  属矛盾(也叫 1/0错误,或叫 1/0不存在)。

反证法:假设  1/0  合逻辑(既 1/0正确、或1/0存在、或1/0自洽)。
只有假设 1/0  合逻辑之后,我们才能引用 1/0 这个元素 进行正确的数学逻辑推理。
如果得到矛盾。就推翻假设。
证得: 1/0 矛盾( 1/0错误, 1/0不存在)。

正常的数学推理你能拿一个错误去做依据吗?不能!
所以,只能把1/0 代入到正确的数学体系去检验,出了矛盾 才得到1/0 矛盾( 1/0错误, 1/0不存在)。
千万不能把 1/0 代入到错误的体系去检验,这样得到矛盾 也不能算在 1/0 上。
懂不!

还有14#我就公布答案,加油!
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-3-28 17:14 | 显示全部楼层
elim 发表于 2020-3-25 03:56
没有兴趣跟一个江郎才尽还夜郎自大的玩这一出了. 一早就所了, 试试邪灵有救没有. 结论是----------- 没有.

我们讨论的对象是 1/0  
我们讨论的对象是 1/0  
我们讨论的对象是 1/0  

[color=Blue]我们就是要证明 1/0  属于矛盾(也叫 1/0错误,或叫 1/0不存在)。

你们几了个反证法
反证法:假设  1/0  合逻辑(既 1/0正确、或1/0存在、或1/0自洽)。
只有假设 1/0  合逻辑之后,我们才能引用 1/0 这个元素 进行正确的数学逻辑推理。
如果得到矛盾。就推翻假设。
证得: 1/0 矛盾( 1/0错误, 1/0不存在)。

正常的数学推理你能拿一个错误去做依据吗?不能!
所以,只能把1/0 代入到正确的数学体系去检验,出了矛盾 才得到1/0 矛盾( 1/0错误, 1/0不存在)。
千万不能把 1/0 代入到错误的体系去检验,这样得到矛盾 也不能算在 1/0 上。
懂不!

还有14#我就公布答案,加油!
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-3-30 14:05 | 显示全部楼层
elim 发表于 2020-3-23 05:05
不想干? 对 可作分母等价于可逆没有认识的, 当然不想干了.  我只是想知道你是否可以教育好

与康托患同一种病elim 切底 完了。
0可作分母,既 r/0
0可作分母 等价 r单位 0有乘法逆元 r/0

我们讨论的就是: r/0
问题是:r/0 合逻辑吗?
论证时用反证法,假设 r/0 合逻辑(r/0 正确、r/0 存在)。
才能引用 r/0
才能引用 r/0 去进行正确的数学推理。

还差12#,我就来剥你错误证明的画皮了。
回复 支持 反对

使用道具 举报

发表于 2020-3-30 15:48 | 显示全部楼层
‘0不能作除法分母” 的问题,可以说是现行数学理论中 认可的,不需要 专门去讨论它。我希望 你谈谈现行教科书中的等式:0.333……=1/3能不能 成立 的问题。

点评

有了无限定义、数的定义,就知道无限元素不是数。非数当然不能进入“=”。所以 0.333……=1/3不能 成立。  发表于 2020-3-31 12:43
0.333……=1/3能不能 成立? 必须要讨论 无限元素,所以必须合逻辑定义无限。才能知道 0.333……  发表于 2020-3-31 12:41
elim 知道他的证明错了,所以不敢来了。  发表于 2020-3-31 12:40
‘0不能作除法分母” 的问题,‘0不能作除法分母” 肯定有数学原因。当然要找出原因,就是论证。  发表于 2020-3-31 12:39
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-3-31 12:45 | 显示全部楼层
jzkyllcjl 发表于 2020-3-30 07:48
‘0不能作除法分母” 的问题,可以说是现行数学理论中 认可的,不需要 专门去讨论它。我希望 你谈谈现行教 ...

@elim  知道他的证明错了,所以不敢来了。

我前面的帖 就是一步一步告诉 elim  他错在哪一步了。

还有10#,我就完整的证明  elim  他的错误。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-28 01:09 , Processed in 0.093532 second(s), 14 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表