从Jumping门看逻辑的重要性

逻辑很重要，它是自然科学的两大基石之一，也是数学的根本。

对我们普通人，逻辑也是明白事理的前提；如果你完全不懂逻辑，很难相信你会明白事理。

对Jumping的质疑，在我看来就是一场逻辑的考验。逻辑清晰的看到的是冷冰冰的证据和严密的推理；逻辑混乱的看到的是身份歧视、道德人品和文化情怀......

我们来看看几个基本的逻辑。

一、关于阿赛成绩真假

a.大前提：阿赛是大学数学水平的比赛

（说明：这是公认的，即使大学数学系的学生，绝大多数也得不了高分，甚至一题也做不出来；这正如大多数中学生做不出一道中学奥赛题目。）

b.小前提：姜萍不具有大学数学水平

证据有阿里宣传的视频截图等。姜萍在视频中有大量的不限于“书写”的错误：1、大量的把西格玛写成/2，与正常的/2写法一致，证明她不懂西格玛；2、把伽马符号Γ写反，成为7，证明她不懂伽马函数；3、把Z的导数写成“主”，而同视频中有Z的正常写法，证明她不懂导数，因此更不懂微积分；4、乱写上下标，把余元公式中的sinNZ写成N的Z次方，把m（实际为μ的错写）的t下标写成mt，这就像把32写成3的平方一样，是学数学的人不能犯的错误；5、此外还有很多漏写、错写的问题。总之姜萍的各种板书、笔记显示她对于高数的公式、函数等符号不识、上下不分、漏写常数变量、断续不分......证明她真不懂高等数学。以上证据太多了，这里省略各种截图。

这么多的低级错误不是一个精通高等数学的人能犯的，犯了，就证明不懂高等数学，因此，小前提也是成立的，除非所有的宣传视频作假。

而如果视频为假，则说明关于姜萍的宣传为假，不证自明。

c.结论：姜萍阿赛成绩为假。

只要大小前提成立，这个结论就是逻辑的必然，并不需要有现场的作弊证据。很多人认为，只有现场捉到作弊才算是铁证，否则就纯粹是猜想，那是完全不懂逻辑之故。逻辑教育任重道远啊。

二、关于姜萍学习高数

a.大前提：高等数学需要顺序渐进地学习

简单说，学了小学数学才能学初中数学，学了初中数学才能学高中数学，学了高中数学才能学大学数学。有人会举诸多稀世天才为例，证明小学生也可以学高等数学，比如陶哲轩。这并不成立。数学天才当然有，但他们都是从小就展示了异人的数学天赋，并且，他们也是顺序渐进的，学完了小学数学学中学，然后再学大学数学的。只不过他们的自学能力超强，是靠自己在短时间内完成这个过程的，并不是跳着学。小学生诚然是可以学高等数学的，那是因为他先学习了初等数学，这样的小学生亿里挑不出一。

b.小前提：姜萍跳过了高中数学，直接学高等数学并达到极高水平。

证据是，姜萍自己和老师都说过，她自学高等数学已经两年，而她中专二年级还未满，说明她初中刚毕业还没有开始学高中数学时，就已经开始了自学大学的高等数学。

c.结论：姜萍的高数学习经历不可靠。

这个结论还有很多旁证。比如：她的初中数学成绩很一般，并没有天才表现；她的高数笔记与她老师的笔迹相同；她不看中文偏微分教材看英文原版，而她的英语水平很低；她的中专月考成绩不及格，而中专题目难度很低，是她“扫一眼”就觉得“没有价值”的；阿赛初赛的内容远超出姜萍所报的三本书《高等数学》《数学分析》《偏微分方程》，除非她还学了其他的数学系课程，一年多的时间，同时学高中三年的数学和大学四年的数学，还要达到高水平，那就更不可信了......

三、关于作弊动机和能力

很多人认为姜萍没有作弊的动机和能力，这是基于感觉的简单判断。

其实，基于常识和逻辑就足以做出基本判断。

因为阿赛尤其初赛完全缺乏防作弊的机制，这使得任何参赛者都有作弊的可能。在现今的条件下，一个开卷的线上考试，作弊的方法不要太多！可以挂多个号，以延迟时间最大到24小时；可以团队考试，参赛者甚至都不一定要自己答题；她的老师曾多次参赛，有数学圈的人脉，也有可能帮她......所以，只有你想不到的，没有作弊者做不到的。理解不了这一点，可能都是从火星上回来的。

阿里也缺乏纠正作弊的愿望。之前多届，组织者只热衷于宣传非专业数学高手（如快递哥），而从来就没有调查或纠正过一次作弊，例如，初一学生能进决赛难道不值得调查一下真假吗？除非阿赛的参与者都是百分百的纯洁圣母，都老老实实凭实力答题，否则应该理解为组织者不作为，甚至没有作为的愿望。

姜萍不是圣母，她也不可能天然地排除在作弊之外，质疑她很正常。

那为什么不质疑别人，单单质疑她呢？原因很简单：只有她被阿里宣传为“天才中专女生”，而实际表现又与天才完全不相符，此情此景，质疑太正常了，不质疑才不正常。

基于逻辑的质疑大致如此。那么，基于逻辑的证明是什么呢？

很简单。现场测试做一道相当于阿赛难度的高等数学题就行了，一道就足以证明她掌握了高数。但这方法注定不会实现，没有第三方愿意做，姜萍也不会配合。

第二个方法，就是看决赛。只要姜萍参加决赛，并且不得零分，就足以证明她懂高等数学。目前的各种自媒体信息，说她已经参加了决赛，还有什么定妆照、笑着走出考场、已到北京云云，傻子才信。

但即使她真的参赛并做出一题，可信度也不及现场测试。因为决赛其实也是线上考，全凭自觉，还有一个小时上厕所的机会。难道我们真的天真到能相信参加决赛的选手都会乖乖地一个小时就单纯地拉屎拉尿，而不做点别的？还是我们必须坚决相信姜萍背后不可能有团队？

我们无法从感觉或感情来判断这一切，她决赛作不作弊我们真判断不了。

但我们可以分析阿赛本身的漏洞。

漏洞如此明显，参赛者平时的表现又如此可疑，这时逻辑就会自动得出答案。

所以，除非逻辑真的算个P，崇尚逻辑的质疑是不会消失的，扣诽谤的帽子也没用。

没有天才逃得过逻辑的考验，也没有天才会害怕逻辑的质疑。