I see it, but I don't believe it

有考過資工研究所的人, 唸書時應該都有學過一題"證明 0 ~ 1 之間有無限多個不可數實數"的證明 (*), 但是一般上課應該沒有人會講這個證明的由來, 今天我在看講解 Turing Machine 的書上看到它的由來.

這是一個叫 Cantor 的人在 1891 年發表的論文, 用了一個超級簡單的方法, 叫做"對角線法", 簡單到只要有國小六年級的數學程度就可以看得懂, 可是情感上很難讓人接受這樣的結果. 他更早的證明, 自己的 comment 是"我看到了, 可是我難以相信 (I see it, but I don't believe it)". 這句話真是相當貼切.

這樣回頭看來, 研究所考這樣的題目真是非常殘忍. 其實這些問題都非常的困難, 也困擾了一堆數學家很多年, 卻要在考題上出現讓我們這些二流學生去解, 不靠先看過或背過, 現場我看是沒解出來的機會吧.

最後這傢伙是在精神病院過世的, 唉, 數學家, 歹路不可行...

留言

這個網誌中的熱門文章

岩窟中的聖母

竹林中學40年校慶

Lab & English