第四章 nemesis的出现 (第1/2页)

微看书 www.vkss.cc，最快更新统正神女!

陈启明一上数学课就想跟着贾轻羽唱这首《都选C》。

看着数学老师走进教室，放下教案。他全身的寒毛都已经直竖了起来。

同时他还感觉嘴里的唾液腺、胃里的壁细胞都立即开始分泌了。

“今天我们讲‘充分条件’与‘必要条件’。”陈启明知道这位数学老师喜欢将板书与多媒体结合在一起，进行全方位的立体教学——翻一页幻灯，同时在黑板上飞快写下两行板书。

这让陈启明有种观看近景魔术的眩晕感。

“目不能两视而明，耳不能两听而聪。”

初中语文老师教过的道理，高中的数学老师可能只是假装不知道。

“中学数学中的许多命题可以写成——‘若p，则q’，或者‘如果p，那么q’的形式。其中p称为命题的条件，q称为命题的结论……”

陈启明周身不畅的原因就在于此。

“接下来请思考——若平行四边形的对角线互相垂直，则这个平行四边形是菱形，这个命题是真命题还是假命题？”

“……”

“对！真命题。如果‘若p，则q’是真命题，那么p是q的充分条件，q是p的必要条件……”

真是不顺眼的课怎么看都不顺眼！

陈启明一心要找茬。

直接说a成立则b一定成立，代表a是b的充分条件不行吗？！p和q这两个字母长得怎么就那么招数学家喜欢呢？【生活在东德时期患有躁狂抑郁症的数学家康托尔最先证明了自然数的子集与自然数集是一一对应的，但他也发现包含十进制的实数集其实是一个更大的无穷集合，他就此提出了一个纠缠数学家的问题：是否存在一个比自然数集大但比连续统小的实数集？因为他证明了自然数集等价于有理数集却小于实数集——由此数学家们承认数学本身就有很多‘说不清道不明’的故事，数学的终极基础和终极意义无人能懂，最高明的数学家甚至连终极答案的方向也是模糊的。希尔伯特认为：存在一个有限集，能将无限多个方程分开，但我们却不能实际构建这个有限集……罗素说：我像人们需要宗教信仰一样渴望数学的确定性，但我发现许多证明和逻辑却完全错误的。我的老师只希望我欣然接受，而我经过20年左右的艰辛工作后才得出自己的结论——对于增加数学确定性这一工作，我无能为力。最后他们认可了库特尔·哥德尔提出的那个著名的不完备定理：任何数学逻辑系统里都存在逻辑无法证明的真命题。所以真假命题本身就是脱离逻辑而存在的。】

“……命题1中给出了‘四边形是平行四边形’的一个必要条件，这样的必要条件是唯一的吗？如果不唯一，你能给出‘四边形是平行四边形’的几个其他必要条件吗？！”

怎么刚讲的是充分条件，一下没注意就跳到了必要条件了？！这教学进度的宗旨就是让人跟不上是吗？！

陈启明根本拉不住自己吐槽及批判的心。

他内心甚至笃定数学课的设置宗旨就是为了教训教训处于叛逆期的青少年。

“讲了这么多其实内容很简单。让我们结合几个练习来巩固一下……证明：如图，梯形ABCD为等腰梯形的充要条件为AC=BD。”

陈启明看到周围同学低下头开始解题。

但他只希望时间能快点过去。

因为他觉得数学关于逻辑的解释就是你记住它的逻辑，不管这种逻辑符不符合“果壳的宇宙现实”【霍金在《果壳的宇宙》中提到，哥德尔不确定性原理证明了存在任何一族规则或步骤不能解决的问题，它立下了数学的基本极限，说明数学并不是一个基于单一逻辑基础的协调而完备的系统。】

“……”

陈启明此时并不知道今年的诺贝尔物理学奖颁给的正是用纠缠光子进行实验，证伪贝尔不等式和开创量子信息科学的三位物理学家，客观上这与他没多少时间【也不被允许】看电视和玩手机有关。

但这次获奖的实验内容间接印证了“哥德尔不完备定理、海森堡测不准原理”就是科学局限性的核心。

总之不确定性天然存在，不管你发现了何种公理、何种定理，一定存在这样一种逻辑一致的共生体系，使得同一个命题在其中一个体系为真，而在另一个体系为假【暂且称之为“疏而不漏定律”，详情请关注本人另一部待更新作品《阴阳为碳》】。

“请大家翻开《名师导学与智能训练》的课堂强化训练……”

陈启明借着翻书的机会瞧了瞧顾烨然。

她此刻眉如初月、唇角上扬，一副端庄宁和、似笑非笑的佛家面相。

除了《红楼梦》里描写过的“俊眼修眉，顾盼神飞，文采精华，见之忘俗”的情态，她脸上还有着“和光同尘”、“随缘见喜”、“守正居奇”的神秘的微笑。

你很难想象像她这种正义感爆棚【颜值即正义】的人，能展现普度众生的大慈悲气质，并且毫无违和感。

众里嫣然通一顾，人间颜色如尘土。

这显然是不符合“长得越美、脾气越差”的尘世定律的。

不过陈启明“福至心灵”的意识到，有一种游离于自然法则之外的尘世定律【可能就是他尚未get的“疏而不漏定律”】在起作用。

终于捱到了下课。

学海无涯苦作舟。

陈启明觉得顾烨然就是他触礁摆烂坠入无涯学海海底，无法呼吸状态下唯一的氧气来源。

尽管她的生物学意义与自己遇见的众人并无一丝不同，但那感觉正如：

加减乘除虽不过如此，但却有了欧拉恒等式；