(2025-09-02 08:01)
伯源正树
森重文
我们想想，命题是怎么产生的？
需要怎么样去证明？
演绎证明某事肯定是这样，演绎是从一般到特殊，只有演绎推理形式是必然有效的，因为大范畴的存在，是小范畴存在的充分条件，所以，演绎推理是必然的因果关系推理。
https://baijiahao.baidu.com/s?id=1837072044880176885
(2025-07-07 19:01)
为什么王小云破译大数密码是诈骗？为什么王小云破译大数密码是诈骗？
一个大数A，分解就是求A=XY.。如果A有1000位数，
![\sqrt{A}]()
有500位数，（![x\leq\sqrt{A} \leq y]()
）从理论上讲，采用完全归纳法，一直试除下去，最终能够找到X和Y。当然，需要几万年
(2025-05-28 17:07)
逻辑最终目标就是确立一套语言说的规范，从而确保我们思维的有效性。然后最终确保我们对世界认识的正确性。
逻辑有非常明确的“定义域”，在域内，逻辑是有效的；在域外，逻辑也无能为力。换言之，逻辑所能覆盖的知识域，是有限的，而不是无限的。
判断基本形式，肯定和否定，是一个结果，导致这个结果的理性活动。
丘成桐是使用估计。邱成桐：“先驗估計”，即推導和運用眾多的不等式來對相關方程的解函式及其各階偏導數的大小來進行適當的估計和控制。丘成桐先生在自傳中非常通俗地解釋了他的這種證明方法：我把整個證明分拆成四個不同的估計，那就是所謂零階、一階、二階和三階估計。就是在估计下估计，假设下假设，估计下假设，假设下估计。荒唐荒谬荒诞。
概念和命题按照动态逻辑层次有一阶逻辑和二阶逻辑。
所有的数学定理都是一阶逻辑命题。
丘成桐的多阶估计就是可能中的可能，是根本无法明确的判断，只能在假设中再假设。丘成桐思维混乱，至今不清楚什么叫证明。证明的每
(2025-05-27 06:52)
佩雷尔曼-丘成桐-田刚大量使用或然推理”估计“就不是证明
https://www.jianshu.com/p/52fa6580d5ca
数学思维最基本的单位是概念，比概念大一些的思维单位是模型，我们用概念为事物分类，建立对象。模型可以是命题和公式，它包含了多个概念，我们用模型建立概念间的关系，把握概念的关系。概念又分为多种，我们只能把握普遍概念和单独概念，不能一次性把握集合概念。（详见后面内容）
(2025-05-25 07:39)
提示：3位华人数学家王国祯徐宙利林伟南
宣称证明了一种特殊的高维几何拓扑结构，他们使用错误的证明方法：一种不可靠的归纳法。
如果他们能够构造出来这种结构，即使没有文字证明，也是可以接受的。
只有演绎法才是可靠的证明。
1，演绎推理，就是从大范畴中找到小范畴的推理；前提与结论是蕴含关系。得出的结论是必然判断。
2，归纳推理，从众多小范畴中找到大范畴的推理；
3，类比推理，在相似的范畴之间找到共性的东西和不同的东西。
只有演绎推理形式是必然有效的，因为大范畴的存在，是小范畴存在的充分条件，所以，演绎推理是必然的因果关系推理。
而归纳
(2025-05-24 07:31)
国家自然科学基金委在2013年介绍黄飞敏的工作，居然是错误的：黄飞敏等人73页的论文，全篇都是用或然判断的“估计”代替必然判断的演绎证明，将没有实验的推演当成事实。
首页 >>年度报告 >>2013年度报告 >>第二部分
国家自然科学基金项目成果巡礼
—— 第二部分 国家自然科学基金项目成果巡礼 ——
中国科学院数学与系统科学研究院黄飞敏研究团队在国家杰出青年科学基金项目和科技部“973”计划等项目的支持下，经多年潜心研究，与香港城市大学杨彤教授合作，在著名的希尔伯特第六问题研究上取得了新进展，该成果以71页篇幅于2013年发表在国际著名数学杂志SIAM
Journal on Mathematical Analysis上。
黄飞敏等人73页的论文狗
(2025-05-23 07:51)
(2025-05-19 21:07)
中国笨蛋院士周向宇在数学命题证明中错误使用归纳法，使用类比方法，使用归纳假设等荒唐方法证明。
数学定理的证明只能使用演绎法，不能使用类比-归纳-归纳假设，不能用假设否定假设，或者用假设证明假设。
数学思维必须符合逻辑
演绎证明某事肯定是这样，归纳说明某事在实际上是有效的，溯因仅仅表明某事可能是，所以溯因是推理中
较弱的一种形式。
溯因整理成为一个命题叫做猜想（证明一个猜想是告诉你结果，让你按照规则找出原因-过程的必然性，把道理
讲清楚）。
我们证明一个数学命题就是一种整体上弱势溯因推理，每一个局部需要强势演绎推理，这是无法克服的困难---
-超出了人类解决问题的能力！
况且，，一个事实可能有多种原因，我们要找到那个必然的原因，并且用演绎推理证明就是它。好比逆水行舟
,盲人摸象。
演绎是从一般到特殊，归纳是从很多特殊到某一个一般。但是，溯因逻辑是从一个现象或者一个事实，反推出
可能存在的原因。
数学定理必须是全称判断，结论是全称肯定判断的正确三
加载中…
