\(\large\textbf{任何实践都检验不了数学定理的真理性}\)

elim · 发表于 2020-12-31 22:18

jzkyllcjl 认为吃狗屎是有理的表现，而揭发他吃狗屎是骂人．大家从中可以看到吃狗屎的危害真的很大．呵呵

jzkyllcjl · 发表于 2021-1-1 09:55

数学理论需要尊重事实不循环小数3.1415926……具有永远算不到底的性质。无尽不循环小数展开式中的三个命题：①这个无尽不循环小数展开式中没有百零排（百零排指100个连续的0）；②这个无尽不循环小数展开式中有偶数个百零排；③这个无尽不循环小数展开式中有奇数个百零排。是无法判断的命题。布劳威尔，他根据“无穷是完成了的整体实无穷观点”使用两次排中律，提出了一个现行数学理论无法解决的实数理论的三分律反例，关于这个反例，徐利治在他的论文中，虽然讲道：“在实无穷概念下，使用两次排中律，可以得到Q属于三者中的哪一种”的说法，但实际上究竟属于哪一种呢？是无法判断出来的，所以徐利治最后讲到“看来还是一个不易解决的难题，希望感兴趣的读者继续研究下去”。笔者研究后，发现所有无不循环小数的位数都是无有尽穷尽的，都是算不到底的，因此无尽不循环小数展开式的上述三个命题都是无法判断的不可解问题，对于不可解问题，王宪钧在他的《数理逻辑引论》的316-317页讲到：“只要是有穷，……排中律有效”：在“不可解”可能出现的情况下，“排中律不能用”：“两种情况都是既不能证明又不能否定，排中律失效”。笔者同意排中律只能应用于“能判断其真假的二值性问题”，对于上述无法判断问题，排中律不能用，用的话也是无效的。

elim · 发表于 2021-1-1 11:04

这个性质使得实践根本不可能检验求面积公式的真理性. 而求面积公式可以用来检验实际应用中是否出现错误. 另外, 所有事实都显示 jzkyllcjl 吃狗屎后只产生错误思想, 只保证计算错误. 只能被抛弃, 果然被抛弃.

jzkyllcjl · 发表于 2021-1-1 16:10

elim 发表于 2021-1-1 03:04
这个性质使得实践根本不可能检验求面积公式的真理性. 而求面积公式可以用来检验实际应用中是否出现错误. ...

不循环小数3.1415926……具有永远算不到底的事实性质。不仅消除了布劳威尔反例，而且给出了这个无尽小数真实的实用意义。这个实用意义就是在足够准近似方法下，根据半径的测量精度近似计算其圆周长、圆面积、球面积。这也是检验这个公式的方法。
你若不同意，你说说你的验证方法。你消除这个反例的方法。

elim · 发表于 2021-1-1 22:12

jzkyllcjl 吃上了狗屎，捏造了反例，砸毁了口碑，邪灵附体，畜生不如．

elim · 发表于 2021-1-5 14:10

吃狗屎的jzkyllcjl 没有资格检验数学真理．

李利浩 · 发表于 2021-1-5 18:42

jzkyllcjl 发表于 2021-1-1 16:10
不循环小数3.1415926……具有永远算不到底的事实性质。不仅消除了布劳威尔反例，而且给出了这个无尽小数 ...

不知jzkyllcjl网友是如何理解“矛盾是两点论和重点论的统一”的辩证关系？
量变是质变的前提，当然，量变也可以是指结构变化

elim · 发表于 2021-1-6 01:26

jzkyllcjl 的吃狗屎实践到底可以拿来检验什么？

elim · 发表于 2021-1-6 10:22

我认为可以检验他的确吃了狗屎。不过这跟数学没啥关系啊，哈哈哈

jzkyllcjl · 发表于 2021-1-6 16:31

首先需要讨论圆周长与直径的现实性与其数字表达式之间的关系。

		自动登录	找回密码
密码			注册