不同。
反推数学不是从公理推导出定理,而是通过‘反推’来寻找证明该定理的公理。
这是二十世纪数学基础与哲学中一项影响深远的研究计划——希尔伯特纲领的重要组成部分。
秦缦缦心里掀起了滔天巨浪,高中的竞赛生,完全没必要,或者说不可能去接触到二阶算术的。
望着她因惊讶张大的小嘴,卿云不觉小腹一热。
他舔了舔嘴唇,赶紧扭过头去,淡淡的说着,
“又不难,无非是把数理逻辑这门课的教材看看而已。
你也知道,在竞赛上,我也没啥对手,当时也是无聊,就看了看反推数学。”
秦缦缦闻言有些无语。
臭哥哥,在我面前凡是吧!
卿云继续说着,“去年我见你在画六芒星,就知道你在研究西塔潘猜想。
我琢磨了一个多月,正面我是没法证明的,当时想着打完竞赛就试试反推的。
我很怀疑,西塔潘猜想是错的。”
说罢,他转过身来戏谑的看了她一眼,
“你信不信,要是当初我没事,这个问题我已经攻破了。”
反正吹牛又不上税,这种事情死无对证的。
秦缦缦很想白他一眼,但是心里却是有些发毛。
其实她这小半年里对此也有一点猜测。
证明不了的数学猜想,一种是没有想出证明方法的,如哥德巴赫猜想。
但是这种猜想肉眼可见是正确的,不过数量很少。
另外一种就是浩如烟淼的其他猜想。
这种猜想很可能穷尽数学家的一生,或者上百年无数数学家的一生,最后得出一个否定的结论。
秦缦缦越想越觉得烦躁,留下一句“吃饭的时候喊我”便掀开身上的凉被,噔噔噔的向着自己房间跑去。
卿云瞥了一眼,觉得今天中午自己还是不够努力,这妮子居然腿上还有劲儿?!
可他也没办法,还没彻底圆房,榫卯结构还没建立好,她安心要挣脱他还真没办法。
不过,也好,给这婆娘找点事做。
请收藏:https://m.bq777.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)