正在阅读《游走在晚清的乱世理工男 第273节》
第(3/3)页


后来数学公理化,甚至对1+1=2进行了一次漫长的证明过程。

注意,是“后来”,也就是起码在1903年底这个时间点上,还没有给出证明。

这事比较复杂,简单说就是7年后罗素和他的老师怀特海开始写《数学原理》,就是要搞定各种悖论,然后用逻辑来解释公理。

最初他们绕了很大的弯子,证明1+1=2用了379页纸!

这本书看起来就是天书。

当然更没必要看,因为他们绕的弯子太多,语言也太啰嗦。

很多人都吐槽过,再加上此后哥德尔不完备定理横空出世,基本上宣告了罗素这套理论的失败。

但人家总归是进行了探索尝试。

其实后世人们可以用皮亚诺公理体系,两页纸就证出来1+1=2。

在绕回来第五公设,它实际上不仅深深影响了数学界,对物理学界尤其是相对论的诞生同样影响深远,所以不得不说。

因为第五公设直接导致了非欧几何的诞生。

俄国的数学家罗巴切夫斯基与德国的黎曼分别完成了自己的非欧几何演绎。

二者并不太一样,但过程都是数学史上革命级别的大事。

言而总之,就是一旦基础的公理或者公设错了,整个数理大厦都要修改,然后诞生出一座更加恢宏的大厦。

数学界已经经历了一次如此的大规模改动。

而作为先导,数学完成了革命,物理等学科就可以利用数学工具进行革命。

因为相对论就是建立在了黎曼几何之上,也就是非欧几何之上。

相关小说

将嫁 都市 / 完结
将嫁
绕梁三日
她像雄鹰一样翱翔天际,天空是她的羁绊;他似巨龙深潜海底,皇宫是他的牢笼。一个是燕朝第一位女将军,一个是九五之尊的皇帝。情之路那样漫长艰难,同样强势而又隐忍的两个人,要如何才能走近对方,将思慕进展至婚嫁?--情节虚构,请勿模仿
28.81万字 17 天前
猎狐计划 都市 / 完结
猎狐计划
林和平
一个在十四年前就泄密的案件再度上演,被泄露的内容包括具有绝密级别的国家军事科学“天剑”计划。第一嫌疑人在案发后离奇自杀,于是军情局和国安局齐齐出动,逐个排查,直至短兵相接,却发现代号“狐狸”的外国间谍竟然藏身在自家人之中,一场明枪暗箭的锄奸行动由此展...
21.64万字 16 天前
沙雕攻以为他虐了白月光 都市 / 完结
沙雕攻以为他虐了白月光
煤灰灰灰
裴澈和贺朝觉(zhao jue)是商业联姻中少有的天作之合,一直感情美满,惹人称羡。 直到一场车祸,贺朝觉撞坏了脑袋。 裴澈渐渐发现,原本温和稳重的老攻,变得不太对劲—— 时而关怀备至,恨不得把..
15.77万字 12 天前
腹黑夫君太妖娆 都市 / 完结
腹黑夫君太妖娆
卜允凉
“主子,沈公子说你再不搭理他,他就要去跳河了。”某女吃了一口饭,淡定道:“让他跳。”“主子,不好了,沈公子真跳下去了。”某女喝了一口水,吐槽道:“他死不了。”“主子,沈公子没死,但是他从河里爬上来之后,又跟一群乞丐打起来了。”某女无奈叹气道:“又要赔...
121.12万字 17 天前
大小姐别嫁了,野男人从京圈杀来要名分 都市 / 完结
大小姐别嫁了,野男人从京圈杀来要名分
香釉柠檬
【双C+双强+双向救赎+都市熟男熟女+腹黑爽文】又名:《润色》秦南汐用一个月的时间,睡够了江猛这个乡下野男人。本以为是个公路搭车游戏,一拍两散。可惜。回南城想要联姻的秦南汐却被野男人摇身一变成的京圈来的太子爷堵在了楼梯口。“跟他睡了?”江猛敛着深黑的眸子问...
15.49万字 17 天前
穿书八零:腹黑竹马天天想上位 都市 / 完结
穿书八零:腹黑竹马天天想上位
宁公主
【美男买股+追妻火葬场+萌宝+年代+穿书】北青大学外语系高材生陆明珠意外穿书,来到八零年代。化身书中女配,性格特点窝囊且貌美。由于亲姐难产意外去世被继母强行安排嫁给姐夫,直接小姨变后娘,无痛当妈。婚前被继母百般磋磨,婚后生活更是一地鸡毛,不仅老公孩子嫌弃...
23.12万字 17 天前