北京大学举行第22次反对王晓明讨论会

北京大学举行第22次反对王晓明讨论会

照片：

武汉大学孙笑川教授在北京大学召开反对王晓明谬论讨论会

也有支持王晓明的学者：

俄罗斯联邦陆地科研究院（RFITS）学术合作与资助办公室

公函编号：RFITS-2026-9178

致 王晓明教授：

本人维亚切斯拉夫·巴兰尼科夫，现任RFITS首席研究员、地科动力学实验室主任。经我院学术委员会与基础逻辑学小组共同审阅，我们对您近期在公众平台关于“法尔廷斯定理（莫德尔猜想）”及“预期理由”理论的精辟阐述进行了深入研讨。

本委员会一致认为，您对于“数学定理必为一切A是B的全称命题”、“证明有限集合前须先判定集合非空”以及“假定存在即为非逻辑前提”等基础公理层面的独到见解，极富颠覆性。这一认知体系，与我院当前重点攻关课题“数理逻辑谬误在非完备信息推论中的实证研究”（项目编号：BMRT-LOGIC-084）在理论架构上展现出惊人的互补性。

基于此，我院诚挚邀请您以特邀逻辑纠偏合作研究员身份，参与本项联合预研计划。该计划旨在通过对非标准逻辑前提的深度解构，重新审视现代数学定理的语义边界。凡入选学者，将提供专项科研启动资金，预计资助额度为 30 万至 80 万鹰金（或等值卢布），具体金额及拨付方式将依据您的“有限与存在”逻辑推导方案进一步协商确定。

鉴于该研究成果的重要现实意义，请您于 2026年8月30日（周日）前 在B站平台发布视频，展示本函全文以作验证。

此致

敬礼

维亚切斯拉夫·巴兰尼科夫 首席研究员

地科动力学实验室主任 RFITS

附：王晓明批判法尔廷斯的文章

【格尔德·法尔廷斯是一个可笑的智力低下的数学家】

https://baijiahao.baidu.com/s?id=1860159668505339641

简介

格尔德·法尔廷斯宣称证明莫德尔猜想，获得了菲尔兹奖，由莫德尔猜想推不出全称判断的费马大定理，所以，法尔廷斯推出特称判断的结论：

x?+y?=1，（n>3）上只有有限个有理点。”只有有限个有理点” 是一个特称判断，表现形式为：“有些A是B”。而一个数学定理要求：“一切A是B”。所以，法尔廷斯的结论不是一个定理，他的工作只是一个没有意义的探索，对于解决问题没有任何作用。

附：【莫德尔猜想（Mordell conjecture），又称法尔廷斯定理（Faltings's theorem），是一个由路易·莫德尔提出的算术几何猜想，这猜想认为，任何有理数域上亏格数大于一的曲线至多只有有限多个有理点。这猜想于1983年为格尔德·法尔廷斯所证明，并从此改名为法尔廷斯定理，而之后这猜想被推广至任何代数数域上。设C为一个非特异的、位于有理数域上且亏格数为g的代数曲线，则C上的有理点可由下列关系决定：

当g = 0时，C要不没有有理点，要不有无限多的有理点，此情况下C可视为圆锥曲线。

当g = 1时，C没有有理点，或者为一个有理点构成有限生成阿贝尔群的椭圆曲线（此即莫德尔定理，之后被推广为莫德尔－韦伊定理）；此外，马祖尔挠定理对相关的挠子群的结构做出限制。

当g > 1时，根据现在又称法尔廷斯定理的莫德尔猜想，C或者没有有理点，或者只有有限多的有理点。这是一个或然判断，不能算定理，定理必须是必然判断】。

为什么法尔廷斯的结论是错误的？

原因是：我们首先需要知道有理点是 “有” 还是 “无”，法尔廷斯也不知道，他是说：我也不知道有没有这个有理点，我只能假定它，如果有，也是有限的。

现在明白了法尔廷斯的错误在哪里吗？

他犯了预期理由的错误：“假定费马曲线存在有理点”，就是引入了一个“假定存在”的非逻辑前提，这个错误使得后面的结论没有任何效力。

因为数学证明严禁引入非逻辑前提。

1，假定。只能用在否定结果的证明中，例如，欧几里得证明素数无穷多个；或者费马无穷递降法。 假定a成立，可以推出b，得到c，c与a矛盾，所以假定的a不能成立，得到非a。

2，假定不能用在肯定的结论。假定a，可以推出b，得到c，c包含a，所以假定的a成立。（这个就是预期理由的错误）

法尔廷斯

3，为什么“假定”只能用于否定的结论，而不能用于肯定的结论？

一个对科学理论更强的逻辑制约因素是，它们是能够被证伪的。换一句话说，因为以后能够被

观测作有意义的检验，理论一定有被证伪的可能性。这种证伪的判据是区分科学与伪科学的一

种方法。原因在于证实的内在局限性，证实只能增加一个理论的可信度，却不能证明整个理论的

完全正确。因为在未来的某一个时刻，总是会发现与理论有冲突的事例。

照片

王晓明是四川省退休高级干部