数学与真理-国立交通大学应用数学系.PDFVIP

數學與真理 董世平 數學與真理 基里德已證明了這個定理 , 你若將質數一個 個排列下去, 將永遠排不完, 換句話說, 給任 「沒有真理」 這似乎已是一般人心中所 意一個數 N , 一定有質數比 N 大, 我們可 認定的事實 , 但真的 「沒有真理」 嗎? 由簡 能有這個經驗就是看到報紙或某個地方登載: 單的邏輯推論可知 「沒有真理」 不是真理, 因 某某數學家找到了最大的質數 · · ·, 不必以為 「沒有真理!」 若是真理, 則 自相矛盾, 故 「沒 又有一個所謂的真理被推翻了, 那只是記者 有真理」 不是真理, 結論是有真理。 那麼什麼 等人不懂數學才如此報導, 正確的說法是: 某 是真理呢? 本文主要的目的, 即在論證人類 某數學家找到了現在所知的最大質數 · · ·, 你 對數學的知識是真理的部份。 若有興趣, 再加上能力和電腦, 你可以再去找 一個更大的質數, 這個工作可以永遠做下去。 數學的普世性 因歐基里德證明相當簡潔我們將它寫出 我們對 真理最基本的要求就是普世性, 來。 即真理不會因人、 因地、 因時而改變, 從某 假設質數只有有限多個, 我們可將所有 一方面說, 這一點亦是數學與其他的科學最 的質數按著大小 2, 3, 5, 7, . . . , Pm 全部寫下 不同的地方, 正如十九世紀的數學家韓柯爾 來, 現在令 N = 2 ·3 ·5 ·7 ·· · ·Pm +1 為所有 (Hermann Hankel) 所說的 「對於大多數的 質數的乘積加 1, 很明顯 N 一定大於最大的 科學, 這一代拆除上一代的建樹, 而這一代 質數 Pm , 現在 N 有兩種可能, N 是質數, 或 所建樹的, 同樣也被下一代所拆除, 唯獨數學 者 N 不是質數, 我們先證 N 不可能是質數。 不然, 每一代都在已有的建構上建設新的一 若 N 是質數, 則 N 應列在 2, 3, 5 · · · , Pm 層。」(註一), 對於韓柯爾論及其他科學的那段 之間, 但 N 大於 Pm , 此為矛盾, 故 N 不 話, 可能有人不盡同意, 但是極大多數的數學 是質數, 但這也會得到矛盾, 因 N 不是質數, 家們, 都會同意他論到有關數學的部份。 則 N 可分解成質因數的乘積, 但它的質因數 我們以 「質數有無窮多個」 這個定理為 亦不可能列在 2, 3, 5, · · · , Pm 之中, 因這些 例, 距今已超過 2000 年前的希臘數學家歐 數除 N 皆餘 1, 不是它的因數, 所以我們亦 1 2 數學傳播 十八卷一期 民 83 年 3 月 有