📌 【毕导】这个视频里说的都是真的,但你却永远无法证明 | 4K
Original URL: https://www.youtube.com/watch?v=W4rw_kFswj4
📌 【毕导】这个视频里说的都是真的,但你却永远无法证明 | 4K
容易懂 Easy Know
想像數學就像一個很棒的積木城堡,裡面所有的積木(數學問題)都應該有辦法被蓋出來(證明),而且蓋出來的城堡不能有任何裂縫(矛盾),而且你應該能用一個簡單的方法,檢查每個積木是不是真的能蓋進去(可判定性)。一位很厲害的數學家希爾伯特爺爺,他夢想建立這樣一個完美的數學城堡。但他的一個年輕學生哥德爾,卻發現了一個驚人的秘密:即使是最嚴謹的積木系統,也一定會有一些積木,你知道它應該是真實存在、可以蓋進城堡的,但你卻永遠無法把它蓋出來。而且,這個系統自己也永遠無法證明它自己是完全沒有裂縫的。這就像是,城堡本身就藏著一個小小的謎題,告訴你它永遠無法達到絕對的完美,但這反而讓數學變得更有趣,更有探索的空間,而不是一個死板板的組裝遊戲。
-------------------------------------
總結 Overall Summary
影片探討了數學史上由羅素悖論引發的「數