數與人系列：真的沒辦法？請證明
更新於 2020/10/26閱讀時間約 4 分鐘
數學和其他科學有一個很不同的地方在於數學家可以證明（prove）一些定理為真，而其他科學只能證實（confirm）一些法則。這句話的意思是，在數學家之間，一但某個定理被證明為真，其他數學家就不會再花工夫去推翻這個定理了。但是，在其他科學界，即使某些法則可以解釋很多狀況、很多現象，但是只要新狀況或新證據出現，原來用以解釋現象的理論就必須修正。畢竟，科學人建立理論是為了解釋各種現象的模式，而科學法則是科學家以簡馭繁的規則。
證明，其實應該是一個數學家才能獨享的專用字眼，但是很多時候，我們卻在日常生活用語中侵犯了數學家的這項特權。
比如說：政治人物某乙說：「若某甲貪污不是事實，我就吞下曲棍球。」
某甲擔任曲棍球理事長有沒有貪污這種事，只能調查後證實或推翻「貪污」這指控是否成立，在數學人眼中，除非定義完備，應該無法辯證事實的真假，所以也無法用「發誓」來做賭注。——
當然，這有一些文化觀點要解釋，「發誓」在西方文化是一種見證「永恆」或（絕對、唯一）「真理」的方式，但在道教當中，或許只是一種表示膽識的方法。
不過，到底一個人吞了曲棍球會怎麼樣？一個自己宣誓若指控為假就要吞下曲棍球的人，是不是一定要履行誓言吞下曲棍球？一個宣誓要吞下曲棍球的人，內心究竟有無神明？這些問題恐怕也不是數學家所能回答的。（相關文章：方的開悟性。）
人的事情不容易定義完備，所以還是讓我們回到數學 ----畢竟，在定義完備的數學世界中，一件事實是不是存在是可以證明的。
（而且，如果你能在數學上證明一件別人沒有證明過的事，因為見證了永恆，所以你就可以在數學史上留名，被稱為數學家了！）
在數學的世界裡，數學家除了可以證明一件事實存在外，還可以證明一件事實並不存在。
比如說，倍立方體問題。
這個問題，根據古羅馬時代的歷史學家普魯塔克（Plutarchus）的記載，發生在西元前四世紀的提洛島（所以，有時又被稱為「提洛島問題」。）
當時，提洛島的政治因為瘟疫問題相當嚴重，於是市民們前往太陽神的神殿尋求神諭。他們得到的答案是要製作一個正立方體，體積為原來祭壇的兩倍。
市民於是建了一個長、寬、高都是原來兩倍的舞台，獻祭給太陽神，只是建城之後，內政問體依然沒有解決。市民於是開始檢討到底是哪裡出錯了，過程中他們發現，新舞台因為長寬高都是原來的2倍，所以體積就成為原來的8倍了，因此市民們開始討論究竟要如何才能作出一個體積是原來2倍的祭壇。
用現代數學術語來說，這個問題就變成，如果有一個單位立方體，每邊長度為1 公尺，體積為1立方公尺，那麼我們要如何才能作出一個體積為2立方公尺的立方體呢？
提洛島的居民怎麼想也想不出來答案，所以只能留下這個「倍立方體」的問題，讓後世數學人去傷腦筋。
只是，對承繼古希臘傳統的數學家而言，如果要證明一個「作圖問題」有解，只要拿出尺和圓規示範如何畫出來，再加以解說就可以了。但是，如果這個「作圖問題」無解，又要怎麼證明呢？尺和圓規畫出一個圖形的方法經常有無數個解，那麼解題人要怎麼樣才能確定自己已經試過所有辦法了呢？如果不能試過所有辦法，又要如何證明真的「沒辦法」呢？
想出這個證明辦法的是十九世紀（1777-1855）的高斯。
擅長古希臘幾何學的高斯證明了如果圖形的邊長能夠成為二次方程式的解的話，那麼數學家就可以找出用尺規作圖的辦法。如果邊長不能成為二次方程式的解的話，那數學家就無法找出用尺規作圖的辦法。
所以，這下子，倍立方體的問題變成了---體積為 2 立方公尺的立方體邊長應該是多少？這邊長可以成為2次方程式的解嗎？
因為2的立方體的邊長是2的立方根，無法成為二次方程式的根，所以，數學人終於共同認可了「提洛島」的問題在歐基里德幾何中是無解的。
當然，這時距離提洛島問題被提出時已有兩千多年了。
不過，根據歷史記載，西元前四世紀的提洛島居民因為共同努力思考這個太陽神給的題目，因此就齊心解決了原來的內政問題。
跳出數學看人與數的關係：一道無解的數學題，居然解決了提洛島的政治問題，人和數與圖的關係還真是處處充滿了矛盾和驚奇啊！
此篇文章會顯示動態置底廣告
為什麼會看到廣告
留言0
查看全部
你可能也想看
Google News 追蹤
徵的就是你 🫵 超ㄅㄧㄤˋ 獎品搭配超瞎趴的四大主題，等你踹共啦！還有機會獲得經典的「偉士牌樂高」喔！馬上來參加本次的活動吧！
隨著理財資訊的普及，越來越多台灣人不再將資產侷限於台股，而是將視野拓展到國際市場。特別是美國市場，其豐富的理財選擇，讓不少人開始思考將資金配置於海外市場的可能性。
然而，要參與美國市場並不只是盲目跟隨標的這麼簡單，而是需要策略和方式，尤其對新手而言，除了選股以外還會遇到語言、開戶流程、Ap
如果是來自比較數學與理論的學科，
尤其研究對象是人群的學科，
幾乎不可能自己重做一次實驗，
看看這些數學理論「是不是實際上好用」。
我那時候就體會到，
數學只是一種空中樓閣，
我們還需要有具體的實驗數據，
來把數學與世界接地。
而什麼領域既能有數學理論，
數學證明於是就像是理學院的A片，
可以透過手淫寫證明來自嗨，
但那並不是追求真理的健康方式。
什麼是追求真理的健康方式呢？
如果你去觀察，大部分偉大的數學家，
人家並不自稱自己是數學家，
都是自稱自己是物理學家，經濟學家，發明家。
我借用Kac一句精彩簡潔的話，來作為本文結論：「在數學中，邏輯是一種牢固的制約，只能提供『不可避免性』的結論，但是『驚奇』的要素必須來自邏輯的外部，透過想像力與洞察得到。」
譬如說，人們在以帕德嫩神廟為典範的人造物與鸚鵡螺為典範的生物構造上，都找到了1.618的黃金分割率。而科學家也在部分植物的枝條數目與花瓣數目上找到費波那契數列。對於相信與熱愛數學的一些人來說，這無疑是「大自然以數學構造」之鐵證。但對另外一些人而言，這只不過是某種「幸運數字」。
以前上數學課時常有一個解題的公式，比如，「因為…所以」，然後得出結果。現代科學、醫學、哲學、數學，任何學問，都脫離不了因與果的公式，沒有因，就沒有過程，最後實驗不出結論。有人說，哲學家和宗教家是最偉大的科學家，因為他們能夠超越肉體思維極限，跳脫空間限制，印證千年之前與當代不可切割之關係。
有一
數學至理與淨土莊嚴(象山慶24.3.17)
有人說：
數學裡有個美好的詞，叫「求和」；有個遺憾的詞，叫「無解」；有個霸氣的詞，叫「有且僅有」；有個悲傷的詞，叫「無限接近卻永不相交」。還有個模糊的詞叫「約等於」，遙遠的詞叫「未知數」，單調的詞叫「無限循環」，堅定的詞叫「絕對值」
想像一下，你手上有一台超級電腦，它號稱能解答宇宙中所有問題。所以你問了它一個問題，但它卻回答說：“這個問題我解不了。”這聽起來是不是很矛盾？
但這種情況就是著名奧地利數學家 庫爾特.哥德爾（Kurt Gödel）在1931年提出的『不完備定律』的核心所在。
1. 凡所有相皆是虛妄，若見諸相非相，即見如來
2. 能量看不到，卻統籌物理世界（形而上統籌形而下）
3. 數學與物理的不同：數學「定理」：絕對真理，不因時空轉換；物理「定律」：找到自然背後的律，而非證明
4. 數學的本質：建立在不能再問的「公理」上
5. 歐式平
一、前言
一九五九年，英國廣播公司訪問了英國數學家兼哲學家伯特蘭．羅素有沒有什麼建議要給未來世代。他回答說：
當你學習任何東西或者思考任何哲學問題時，只該問自己事實有哪些，那些事實證明什麼是真實。永遠別被自己希望相信的事、或者自以為如果別人信了就會對社會有益的事所分心，只要專心一意去看事實是什麼
徵的就是你 🫵 超ㄅㄧㄤˋ 獎品搭配超瞎趴的四大主題，等你踹共啦！還有機會獲得經典的「偉士牌樂高」喔！馬上來參加本次的活動吧！
隨著理財資訊的普及，越來越多台灣人不再將資產侷限於台股，而是將視野拓展到國際市場。特別是美國市場，其豐富的理財選擇，讓不少人開始思考將資金配置於海外市場的可能性。
然而，要參與美國市場並不只是盲目跟隨標的這麼簡單，而是需要策略和方式，尤其對新手而言，除了選股以外還會遇到語言、開戶流程、Ap
如果是來自比較數學與理論的學科，
尤其研究對象是人群的學科，
幾乎不可能自己重做一次實驗，
看看這些數學理論「是不是實際上好用」。
我那時候就體會到，
數學只是一種空中樓閣，
我們還需要有具體的實驗數據，
來把數學與世界接地。
而什麼領域既能有數學理論，
數學證明於是就像是理學院的A片，
可以透過手淫寫證明來自嗨，
但那並不是追求真理的健康方式。
什麼是追求真理的健康方式呢？
如果你去觀察，大部分偉大的數學家，
人家並不自稱自己是數學家，
都是自稱自己是物理學家，經濟學家，發明家。
我借用Kac一句精彩簡潔的話，來作為本文結論：「在數學中，邏輯是一種牢固的制約，只能提供『不可避免性』的結論，但是『驚奇』的要素必須來自邏輯的外部，透過想像力與洞察得到。」
譬如說，人們在以帕德嫩神廟為典範的人造物與鸚鵡螺為典範的生物構造上，都找到了1.618的黃金分割率。而科學家也在部分植物的枝條數目與花瓣數目上找到費波那契數列。對於相信與熱愛數學的一些人來說，這無疑是「大自然以數學構造」之鐵證。但對另外一些人而言，這只不過是某種「幸運數字」。
以前上數學課時常有一個解題的公式，比如，「因為…所以」，然後得出結果。現代科學、醫學、哲學、數學，任何學問，都脫離不了因與果的公式，沒有因，就沒有過程，最後實驗不出結論。有人說，哲學家和宗教家是最偉大的科學家，因為他們能夠超越肉體思維極限，跳脫空間限制，印證千年之前與當代不可切割之關係。
有一
數學至理與淨土莊嚴(象山慶24.3.17)
有人說：
數學裡有個美好的詞，叫「求和」；有個遺憾的詞，叫「無解」；有個霸氣的詞，叫「有且僅有」；有個悲傷的詞，叫「無限接近卻永不相交」。還有個模糊的詞叫「約等於」，遙遠的詞叫「未知數」，單調的詞叫「無限循環」，堅定的詞叫「絕對值」
想像一下，你手上有一台超級電腦，它號稱能解答宇宙中所有問題。所以你問了它一個問題，但它卻回答說：“這個問題我解不了。”這聽起來是不是很矛盾？
但這種情況就是著名奧地利數學家 庫爾特.哥德爾（Kurt Gödel）在1931年提出的『不完備定律』的核心所在。
1. 凡所有相皆是虛妄，若見諸相非相，即見如來
2. 能量看不到，卻統籌物理世界（形而上統籌形而下）
3. 數學與物理的不同：數學「定理」：絕對真理，不因時空轉換；物理「定律」：找到自然背後的律，而非證明
4. 數學的本質：建立在不能再問的「公理」上
5. 歐式平
一、前言
一九五九年，英國廣播公司訪問了英國數學家兼哲學家伯特蘭．羅素有沒有什麼建議要給未來世代。他回答說：
當你學習任何東西或者思考任何哲學問題時，只該問自己事實有哪些，那些事實證明什麼是真實。永遠別被自己希望相信的事、或者自以為如果別人信了就會對社會有益的事所分心，只要專心一意去看事實是什麼