涂靈在完全沒有跟人討論的環境裡,完成了對於最一般的可計算性的研究,創發了劃時代的涂靈機。當他把論文給老師紐曼看時,紐曼簡直不敢相信希爾伯特的判定性問題(Entscheidungsproblem),居然可以用這麼簡單直觀的辦法解決掉。不幸的是在1936年4月15日丘奇已經發表了他的論文“A note on the Entscheidungsproblem”,而涂靈是在5月28日才把〈論數〉投給倫敦數學會的會誌,所以丘奇領先涂靈解決了希爾伯特的可判定性問題。5月底紐曼寫信給丘奇,強調涂靈在完全沒有人指導與詰辯的情形下獨力完成原創性工作。他希望丘奇能替涂靈向劍橋寫一封爭取獎學金的推薦函,以便涂靈能打破孤獨去普林斯頓追隨丘奇學習數學邏輯。
結果涂靈並沒有獲得獎學金,他靠著劍橋國王學院的單薄薪水留學普林斯頓大學。此時丘奇已經不太活躍,一些對數學邏輯有貢獻的學生也都不在,所以涂靈既沒能解除他的孤獨狀況,也沒從丘奇那裡學到多少新東西。當〈論數〉校稿寄到普林斯頓時,丘奇安排他做一場公開報告。他在家書裡說:「很少人來聽12月2日我在數學俱樂部的演講。要想有人來聽講就必須是有名的人。我演講後的下一週是伯考夫(G. D. Birkhoff, 1884~1944)主講,他的名聲很大,所以講堂都擠滿了人。但是他的演講其實很不夠水準,大家都在背後笑話他。」不僅涂靈的演講沒幾個人來聽,〈論數〉這篇在科學史上永垂不朽的論文出版後,當時也只有兩個人曾經向涂靈索取抽印本。
以市面上備受矚目的 Panasonic A La Uno 全自動洗淨馬桶為例,就是將材料科學、結構工程與流體力學發揮到極致的典型代表:
1. 材料層:有機玻璃系新素材
A La Uno 全自動洗淨馬桶採新開發的「有機玻璃系新素材」(以壓克力高分子為基礎研發的衛浴專用材料,這類高分子成形技術亦被廣泛運用於大型水族館高壓觀景窗與飛機機艙罩)。這種材料表面具備極佳的疏水性與耐水垢特性,水滴不易長時間攤平停留;材質堅固、不易破裂,耐刮、不易造成細小傷痕。通過實驗測試,這種素材配合泡沫洗淨,在沖洗後能有效沖刷掉高達 99.99% 的大腸桿菌,從源頭阻斷細菌定殖。
-----廣告,請繼續往下閱讀-----
2. 結構層:無接縫工藝與三重防濺防護
在宏觀結構上,A La Uno 全自動洗淨馬桶採用無水箱沖水與便器、溫水洗淨便座一體成型設計,減少傳統水箱與座體之間的結構層次及接縫,並搭配可動迴轉式排水系統完成沖洗。更貼心的是其「三重防護」設計:
泡沫防護:在水面上製造一層充沛的泡沫緩衝層,有效抑制男性站立小便時的尿液與污水飛濺;
外圍防護:馬桶邊界特別設計了高約 3mm 的水檔,防止液體延著外壁滴落至地板;
測漏防護:便座與馬桶本體採用不外露的防護設計,避免液體從縫隙飛濺滲漏。
Panasonic A La Uno 全自動洗淨馬桶
3. 動態流體層:雙效泡沫洗淨、漩渦水流與 nanoe™ X
當污垢降落在馬桶內壁時,A La Uno全自動洗淨馬桶 的動態流體科技便接手進行徹底打掃。其「雙效泡沫洗淨」會先釋放直徑約 5mm 的「毫米泡沫」包裹並帶走大塊髒污,再透過直徑約 60微米的「微米泡沫」深入微觀縫隙,徹底溶解殘餘的油脂與細微污垢。接著,配合高度清潔力的「漩渦型強力水流」,利用旋轉產生的流體剪切力,一口氣將附著力已被削弱的污垢剝離並沖走。此外,Panasonic A La Uno 全自動洗淨馬桶還搭襯了 nanoe™ X 健康科技,釋放氫氧離子有效抑制異味與髒污,維持空氣與內壁的良好衛生狀態。
如果在「三跤㧣」選舉之下,選情的激盪從候選人的得票多少看不出來,那要從哪裡看?政治學提供的一個方法是把候選人配對 PK,看是否有一位候選人能在所有的 PK 中取勝。這樣的候選人並不一定存在,如果不存在,那代表有 A 與 B 配對 A 勝,B 與 C 配對 B 勝,C 與 A 配對 C 勝的 A>B>C>A 的情形。這種情形,一般叫做「循環多數」(cyclical majorities),是 18 世紀法國學者孔多塞(Nicolas de Condorcet)首先提出。循環多數的存在意涵選舉結果隱藏了政治動盪。
台大電機系畢業,美國明尼蘇達大學政治學博士,
現任教於美國德州大學奧斯汀校區政府系。
林教授每年均參與中央研究院政治學研究所及政大選研中心
「政治學計量方法研習營」(Institute for Political Methodology)的教學工作,
並每兩年5-6月在台大政治系開授「理性行為分析專論」密集課程。
林教授的中文部落格多為文學、藝術、政治、社會、及文化評論。
數學科普作家葛登能最不遺餘力探索數學和這些遊戲之間的密切關係。他寫了很多極有吸引力的書,也在《科學美國人》撰寫專欄,而這些都是會讓高中生或大學生感到很刺激的課外讀物(前提是有人指定他們去讀的話)。此外,數學家喬治.波利亞(George Polya)的《怎樣解題》(How to Solve It)和《數學與合情判讀》(Mathematics and Plausible Reasoning),或許也屬於這一類。有一本帶有這些人的文風、但屬於較初階的有趣好書,是瑪瑞琳.伯恩斯(Marilyn Burns)所寫的《我恨數學》(The I Hate Mathematics! Book),書裡有很多啟發性的提示,帶領讀者解題與發想各種奇思異想,是小學數學課本裡罕見的內容。
可能有人說過,因為所受訓練之故,數學家有一種特殊的幽默感。他們往往會接受字面意義,但字面上的解讀又常和標準用法的意義不同,因此很好笑。比方說,哪種運動比賽時要蓋臉?答案是,冰上曲棍球以及痲瘋病人拳擊(按:原文「Which two sports have face-offs」,「face-off」其中一個字面意義為「蓋臉」,而這也是冰上曲棍球常用的術語,意指「爭奪球權」)。他們也很沉溺於歸謬法(reductio ad absurdum),或設定極端前提條件然後做邏輯演練,以及各式各樣的字組遊戲。