人类数学是唯一造假不能得逞的学术领域

elim · 发表于 2021-5-11 04:40

现行数学之所以使造假不能得逞，是因为其全面的规范化，语言的规范化，推理的规范化，系统公设的规范化。这种规范化又被称为形式化(形式逻辑其实是规范逻辑：Formal Logic)

李利浩 · 发表于 2021-5-11 18:54

把“棺材板”都钉死了，难不成还能跳出来吗？

elim · 发表于 2021-5-11 21:51

.江郎才尽必然启动夜郎自大机制. 跟赖活是一个道理.

任在深 · 发表于 2021-5-12 01:22

elim 发表于 2021-5-11 04:40
现行数学之所以使造假不能得逞，是因为其全面的规范化，语言的规范化，推理的规范化，系统公设的规范化。这 ...

哈哈哈！
尾巴上长疮，烂规定！！

elim · 发表于 2021-5-12 07:55

江郎才尽必然启动夜郎自大机制. 跟赖活是一个道理.

日本楞种兜售楞率给自己可以，其他想都别想。

jzkyllcjl · 发表于 2021-5-12 08:04

根据 “无穷次操作无法被完成，无穷次相加的工作无法实现”的事实，可以得到“ZFC形式语言公理体系无穷集合存在公理不成立，选择公理对无穷集合不成立”的依据，所以不能使用无穷集合上的选择公理得到《非标准分析》中的非标准算术模型，也不能使用无穷集合上的选择公理得到文献[10]83页的分球定理的奇论；也不能在不满足选择公理的科恩（Cohen）模型下，提出文献[10]89页的最后四行中叙述的“怪”定理，这个“怪”定理是华东师大《数学分析》1988年印刷66页叙述的“归结原则或称海涅（Heine）定理”的反例，消除了这个“怪”定理就消除了这个反例。结合优点1，可以得到ZFC形式语言公理体系不能作为数学理论的基础。

elim · 发表于 2021-5-12 08:46

jzkyllcjl 本来就没读懂过数学文献，现在有吃上了狗屎，然后根据狗屎堆逻辑啼猿声。他的东西没人读，全是垃圾。

jzkyllcjl · 发表于 2021-5-13 14:41

elim 发表于 2021-5-12 00:46
jzkyllcjl 本来就没读懂过数学文献，现在有吃上了狗屎，然后根据狗屎堆逻辑啼猿声。他的东西没人读，全是垃 ...

根据 “无穷次操作无法被完成，无穷次相加的工作无法实现”的事实，可以得到“ZFC形式语言公理体系无穷集合存在公理不成立，选择公理对无穷集合不成立”的依据，所以不能使用无穷集合上的选择公理得到《非标准分析》中的非标准算术模型，也不能使用无穷集合上的选择公理得到文献[10]83页的分球定理的奇论；也不能在不满足选择公理的科恩（Cohen）模型下，提出文献[10]89页的最后四行中叙述的“怪”定理，这个“怪”定理是华东师大《数学分析》1988年印刷66页叙述的“归结原则或称海涅（Heine）定理”的反例，消除了这个“怪”定理就消除了这个反例。结合优点1，可以得到ZFC形式语言公理体系不能作为数学理论的基础。

李利浩 · 发表于 2021-5-13 19:59

本帖最后由李利浩于 2021-5-13 20:06 编辑

请教一下elim大侠，“现行数学”下，所得到的研究事物性质和事实是否都相同？或者说，“现行数学”是否对研究事物性质有扭曲作用？

elim · 发表于 2021-5-14 00:22

现行数学关注从公理到定理的无扭曲. 一个现实问题被表述为数学问题，是用常量取代测不准的参量所构建的忽略次要因素的关系式. 这叫做建立现实问题的数学模型. 不难了解，一个较复杂的现实问题在不同的人手里会有不同的模型，对现实的扭曲不会沒有，只是多少问题. 以在不影响实用目的的前提下较简单的模型为好.
模型决定了相应的解决处理问题的数学系统. 离散或连续，确定或随机等等.
总之，扭曲是必然的但是需要控制的，与工程，物理学有关，而与数学无关.

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