繁体
于光速测量太多年,深知不会有错,或许无法证明真的就是答案。
李谕继续说:“柯南·道尔先生的《福尔摩斯探案集》中,福尔摩斯对华生说过这么一句话,当你排除一切不可能的情况,剩下的,不管多难以置信,那都是事实。”
看过相关电影或者影视剧的一定非常有印象,这句话用英文说出来也挺酷。
迈克尔逊说:“我看过这套优秀的推理小说集,你的引用颇有道理。如果诚如你所说,光速不变无法证明,那它岂不成了一个公理或者公设?”
李谕郑重说:“没错!”
迈克尔逊倒吸一口凉气,数学史上堪称革命般的轰轰烈烈第五公设近在眼前,他不得不表示出了极大的震撼。
所谓公设,就是无需证明的基本原理。
欧几里得用五个公设便推演出了庞大的欧式几何,即大家熟知的经典几何学,五大公设看起来都非常基础:
1任意一点到另外任意一点可以画直线
2一条有限线段可以继续延长
3以任意点为心及任意的距离可以画圆
4凡直角都彼此相等
5同平面内一条直线和另外两条直线相交,若在某一侧的两个内角和小于二直角的和,则这二直线经无限延长后在这一侧相交。
问题出在了第五公设上。
因为它和前四条比,明显太长了。
就连欧几里得本人都对它不满意,想要证明它,但无功而返。
——千万不要觉得数学家是没事找事干,数学的建立一直是最为严谨的,一点马虎不得。
后来数学公理化,甚至对1+1=2进行了一次漫长的证明过程。
注意,是“后来”,也就是起码在1903年底这个时间点上,还没有给出证明。
这事比较复杂,简单说就是7年后罗素和他的老师怀特海开始写《数学原理》,就是要搞定各种悖论,然后用逻辑来解释公理。
最初他们绕了很大的弯子,证明1+1=2用了379页纸!
这本书看起来就是天书。
当然更没必要看,因为他们绕的弯子太多,语言也太啰嗦。
很多人都吐槽过,再加上此后哥德尔不完备定理横空出世,基本上 本章已阅读完毕(请点击下一章继续阅读!)
Loading...
内容未加载完成,请尝试【刷新网页】or【设置-关闭小说模式】or【设置-关闭广告屏蔽】~
推荐使用【UC浏览器】or【火狐浏览器】or【百度极速版】打开并收藏网址!
收藏网址:https://www.fulishuwu.org