數學是定量工具, 是對一個已經初步成型的概念車進行精細化.
但概念車是怎麼從無到有產生的? 這就要靠不是十分有把握, 十分有理性的嘗試性的 猜想 (hypothesis), 類比 (analog).
比如我是怎麼想到在一篇中文文章里可以找一兩個單詞在它們後面加括號註上對應英文的? 那天半夜裡我一個人在對着某個 oi 前輩 sunzx 的 gtalk 自言自語. 如下. 試問, 在這個源頭創新的思路過程中, 我哪裡用到量化的數學方法了? 我完全是在嘗試性的做哲學高度的琢磨. 源頭創新就是從沒有把握的嘗試性思索到有把握的理性檢驗的一個混沌到清晰的過程.
4/29/2007 2:1505 AM chatlog:
(2:15:17 AM) Ziyuan Yao: 英語最主要的問題還是詞彙量
(2:15:30 AM) Ziyuan Yao: 這是中國人用英語難的關鍵問題
(2:15:39 AM) Ziyuan Yao: 也是英語和編程語言的區別
(2:15:53 AM) Ziyuan Yao: 編程語言規則有限，詞彙量每次只要針對一個 SDK
(2:16:05 AM) Ziyuan Yao: 不搞百團大戰
(2:24:42 AM) Ziyuan Yao: 我有 basic english 解釋 english words 的對照表
(2:30:59 AM) Ziyuan Yao: 領域詞彙確實可以像編程一樣即學即用
(2:31:10 AM) Ziyuan Yao: 但通用詞彙怎麼用 basic english 轉寫呢
(2:31:24 AM) Ziyuan Yao: 人們不習慣間接轉寫
(2:31:30 AM) Ziyuan Yao: 還是查字典快些。。
(2:33:05 AM) Ziyuan Yao: 但查了字典會忘
(2:33:18 AM) Ziyuan Yao: 忘了再查 ：）
(2:33:58 AM) Ziyuan Yao: 恩納，我只保證可靠性，不保證熟練性
(2:34:30 AM) Ziyuan Yao: 就應該像學漢字一樣，
(2:34:42 AM) Ziyuan Yao: 通過泛讀
(2:34:53 AM) Ziyuan Yao: 而不是有計劃的背誦
(2:40:46 AM) zongxiao@gmail.com is no longer away.
(2:50:56 AM) zongxiao@gmail.com has gone away.
(2:52:17 AM) Ziyuan Yao: 目前我認為最自然的外語單詞學習法是
(2:52:20 AM) Ziyuan Yao: 用一個瀏覽器插件
(2:52:32 AM) Ziyuan Yao: 在用戶閱讀母語網頁時
(2:52:48 AM) Ziyuan Yao: 對某些或全部單詞加注外語對應單詞
(3:01:55 AM) zongxiao@gmail.com is no longer away.
(3:03:42 AM) Ziyuan Yao: 人腦是相當遲鈍的。。
(3:03:48 AM) Ziyuan Yao: 不適合創新。。
(3:07:23 AM) zongxiao@gmail.com has gone away.
(3:08:36 AM) zongxiao@gmail.com is no longer away.
(3:18:31 AM) zongxiao@gmail.com has gone away.
大家注意到當我說到 2:34:53 AM 以後, 我已經意識到學英語生詞應該像學漢字生字一樣 ---- 在閱讀絕大多數都是已知漢字的少兒讀物時, 遇到一兩個生字, 而少兒讀物常常對這些生字加注拼音 ---- 這個顯然可以類比到學習英語生詞, 也就是在閱讀絕大多數都是已知單詞 (母語單詞!) 的讀物時, (故意!) 出現一兩個英語生詞! 於是我趕緊去 list.linguist (一個 USENET 新聞組, Google 提供永久存檔的) 用英語記下這個令人振奮的 idea, 然後 2:52:17 AM 我跑回來跟 sunzx 講這個 idea.
而且 3:03:42 AM 我還感慨的說了句, 意思是 這種偉大的點子本應該可以讓計算機通過 prolog 式的形式推理自動推理出來的, 人腦能想到完全是因為人腦正好作出了一個恰當的類比.
至於數學要什麼時候才用到? 是對這個 main idea 具體化的時候, 比如在用戶當前面對的中文網頁進行這種故意加注英文的處理時, 我們選擇哪些中文單詞進行英文加注? 顯然一個思路是選那些重複出現次數最多的, 其次是選那些 未來期望重複出現次數最多的 (比如如果這不是一個靜態的中文網頁而是一個進行中的中文聊天). 這個未來期望怎麼算, 這才要用到數學, 但也不光是數學, 因為還有很多數學以外的因素也是可以加進去的, 比如當一個單詞出現在一個提問中, 那麼將來的回答中就可能又提到這個單詞.
