第二百九十二章 爱因斯坦已退出群聊(第3/7页)

然后用这个否定命题和其他公理公设组成新的公理系统,并由此展开逻辑推演。

最终在在推演过程中,他得到了一连串古怪的数据。

但令人惊讶的是。

经过巴罗切夫斯基的仔细审查,却没有发现它们之间含有任何逻辑矛盾。

于是罗巴切夫斯基大胆断言:

这个“在结果中并不存在任何矛盾”的新公理系统,可以构成一种新的几何。

它的逻辑完整性和严密性可以和欧几里得几何相媲美,而这个无矛盾的新几何的存在,就是对第五公设可证性的反驳。

也就是对第五公设不可证性的逻辑证明。

由于尚未找到新几何现实世界的原型和类比物,罗巴切夫斯基慎重地把这个新几何称之为“想象几何”。

罗巴切夫斯基在1826年选择公开了这个理论,然后……

他就被舆论喷成了某个霓虹人的心脏,到处都是窟窿眼儿,堪称体无完肤。

因为这个理论实在是太挑战当时的认知了,好比后世的香蕉说自己会爆更一周一样离谱。

直到罗巴切夫斯基去世12年……也就是1866年的时候,非欧几何才被成功翻案。

罗巴切夫斯基的经历乍一看有些像是小麦,但实际上他比小麦要惨的多:

小麦后来好歹还担任过卡文迪许实验室的第一任主任呢,罗巴切夫斯基却遭遇了整整三十年的多方压制。

他虽然进入了德国科学院,但津贴只在去世后的次月以慰问金的名义收到过一次,令人唏嘘。

而比起罗巴切夫斯基,还有一个发现非欧几何的大佬就要鸡贼的多了。

他就是高斯。

高斯要比罗巴切夫斯基早上许多年就发现了非欧几何,相关理论体系也比罗巴切夫斯基构筑的完善的多。

但高斯却很清楚这个新体系会引发的冲击,于是他谨慎的思想再次占据了高点,没有选择公开自己的理论。

直到高斯死后,这些内容才被人从手稿中发现。

顺带一提。

和这些手稿一起被发现的,还有十几种代数证明的方法……

这些手稿的原本现存于哥廷根西南郊10公里的德兰斯费尔德高斯博物馆,哥廷根大学的官网则能找到扫描件下载。

不过导致徐云心情复杂的不是高斯把手稿送给了小麦,而是这些手稿会引发的后续影响。

先前提及过。

这个时间线的小牛独立完成了微积分的建立,莱布尼茨失去了一项载入史册的荣誉。

成名后的小牛作为卢卡斯教授在剑桥大学工作了数十年,因此剑桥大学在微积分方面的底蕴,自然也是全欧洲最深的。

同时呢。

小麦作为能够推导出麦克斯韦方程组的究极变态,数学系未来的扛把子之一,在微分拓扑流形方面的成就自然也不低。

而后世学过大物和高数的朋友应该都知道。

微分流形加上非欧几何,这特么的就是黎曼几何理论啊……

别着急,这还没完呢。

要知道。

徐云之前在开学典礼那会儿,已经把电磁波这玩意儿给整出来了。

加上推导的波动方程,可以说电动力学的核心差不多已经被他构筑完毕。

更早之前,他还写信给小牛提点了绝对时空观的错误。

哦对了。

还有徐云在鼓捣光速测距时优化的旋转镜法,估摸着能让迈克尔逊-莫雷实验提早个七八年开始的。

也就是说。

在小麦大概四十岁的时候,他的技术栏上会出现这么情况:

电动力学+黎曼几何+微分几何+光电效应+第一朵乌云都齐活儿了……

众所周知。

以常数c不变量,进行逻辑推导,就得到了时空这个变量。

也就是说……

在小麦四十岁的时候,他就已经具备了推导相对论的条件、工具、以及思路。