我教了十年奥数,才敢跟学生讲这段"数学翻车史"

周三晚自习,一个男生憋了半天,问了我一句特哲学的话:"灰老师,数学不是最严谨的吗?那怎么还会出证明错的题?"

我放下红笔,跟他说:"严谨是严谨,但它自己都崩过三次。"

他以为我在讲段子。

我就没讲段子——人类搞数学这几千年,这个号称"永远不出错"的系统,正经过蓝屏。每一次,都逼着一整代数学家推倒重来、连夜重装。

第一次崩:崩在一个小小的根号上

回到公元前500年的古希腊。有个叫毕达哥拉斯的,拉了一帮人搞学派,slogan 特别像今天某些创业公司——"万物皆数"。他们坚信:世上的东西,都能用整数、或者整数之比(也就是分数)表示。整整齐齐,一点不乱。

然后,他一个叫希帕索斯的徒弟,盯着边长为1的正方形发了会儿呆。对角线多长?按勾股定理,是√2。希帕索斯算着算着,发现一件要命的事:这个√2,既不是整数,也写不成两个整数之比。

说人话就是:学派喊"所有数都得是干净的分数",可√2 是个说不清道不明的"四不像"。

这下"万物皆数"当场破功。

后来呢?传说希帕索斯因为这个发现,被同门扔进了大海。没错,不是被开除,是物理意义上的灭口。数学史上头一桩"发现真相反被收拾"的案子,就这么来的。

你可能会想:一个√2 而已,至于吗?

至于。因为从那天起,数学家攥着"无理数"这个烫手山芋,纠结了两千多年。而这,只是三次崩溃里最温柔的一次。

打开网易新闻 查看精彩图片

第一次危机:爱琴海悬崖石板刻着√2,石板从中裂开

第二次崩:崩在牛顿亲手搭的台子上

17世纪,牛顿和莱布尼茨各自鼓捣出微积分。这玩意儿太猛了——能算速度、算面积、算天上地下一切变化。

可问题来了:他们管那个"无限小的小量"叫 dx,但这个 dx 到底是啥?比0大、又小到没边,算着算着又让它等于0——说白了,自己都没讲圆。

这时候,一个叫贝克莱的主教跳出来了。他本来是来吵架的,结果一针扎在腰眼上:"你们这个无穷小量,不就是'已死之量的幽灵'吗?"——意思是,你们科学家自己都说不清,还好意思教人?

这一骂,数学家脸都绿了。可微积分好用啊,总不能扔了吧?于是接下来快两百年,一代代数学家都在干一件事:给微积分补地基。

直到19世纪,柯西和魏尔斯特拉斯两个人出场,拿"极限"这把钥匙(就是你现在课本里那个 ε-δ),把地基一块块砌结实。这第二场崩,才算补上。

打开网易新闻 查看精彩图片

第二次危机:羽毛笔悬于曲线,旁有半透明渐隐的无穷小光点

第三次崩:崩在最底层的"集合"

19世纪末,有个叫康托尔的数学家,搞出了集合论,想给整个数学打一个"万能地基":万物都能装进集合里。听起来特稳,对吧?

结果1901年,罗素站出来说:那咱设个理发师,只给"不给自己刮脸的人"刮脸。请问,他自己刮不刮?

他刮吧,按规矩他只给"不刮的人"刮,矛盾;他不刮吧,按规矩又该给他刮,还是矛盾。

这叫"理发师悖论",翻译一下就是:你那个"什么都能装"的集合,装着自己就炸了。

康托尔的地基,当场裂成两半。数学界又是一阵鸡飞狗跳,最后靠"公理化集合论"(ZF 那套)重新把楼搭起来。

最惨的是康托尔本人——他后半辈子都在和精神疾病搏斗,据说部分就因为这套理论被同行怼得太狠。

打开网易新闻 查看精彩图片

第三次危机:嵌套集合自我指涉形成矛盾循环并裂开

三次崩溃,三次重装,数学反而更稳

讲完三次危机,那个初三男生眼睛亮了:"所以数学也会错?"

我说:"会。但它牛的地方不在永远对,在于——错了敢认,认了能改,改完还比原来更结实。"

你回头看:第一次,我们认了"有理数不够用",发明了无理数;第二次,我们认了"无穷小说不清",发明了极限;第三次,我们认了"集合不能乱装",发明了公理。

三次崩溃,三次重装,数学反而越来越稳。

这事儿对我教奥数挺有启发:我见过太多孩子,一道题算错就垮,觉得"我笨"。可数学这门顶讲理的学科,几千年来都在认错、改错。你错一道题,天塌不下来。

倒是你得学学数学这种脾气——摔了,爬起来,把地基补厚一点。

打开网易新闻 查看精彩图片

总结:三块发光基石叠成上升阶梯,通向亮光

你小时候,有没有因为一道数学题算错,被"数学不行"这四个字吓住过?评论区聊聊,咱互相松松绑。

#数学 #数学危机 #奥数 #育儿 #科普