一、從翻譯名家論文開始。
二、試著將自己的問題寫下來並且保存起來。
三、試著寫成論文並投稿。
2013年圖靈獎得主 Leslie Lamport 也在宣揚這樣的修習方式。
-----
圖靈獎得主 Leslie Lamport 在 The Peterman Pod (2026 年 2 月 23 日)的訪談中,有一段約 5 分半鐘(約 54:45–1:00:20)專門談 "Why writing improves your thinking"。這段談話其實濃縮了他數十年來反覆強調的一個核心思想,可以用他最著名的一句話概括:"If you're thinking without writing, you only think you're thinking."(如果你只是思考而沒有寫下來,你只是「以為自己在思考」。)
他強調的重點如下:
1. 寫作不是紀錄思考,而是思考本身
Peterman Pod 主持人首先引用 Lamport 的名言「If you're thinking without writing, you only think you're thinking.」並請他解釋真正的意思。
Lamport 回答說,這句話原本是對設計電腦系統的人說的。
很多工程師會說:
「我有一個很好的設計。」
「我知道這個演算法一定可以。」
「使用者一定會懂。」
Lamport 認為「不要相信自己的感覺,應先把它完整寫出來。一旦開始寫,你就會發現『哪些地方沒有定義』、『哪些地方互相矛盾
哪些步驟其實沒有想清楚』、『哪些假設只是存在腦中』,因此,寫作不是把已經完成的思想記錄下來,而是完成思想的方法。」
2. 他引用一句老話:「先寫說明書,再寫程式」
Lamport 提到,他一直很喜歡一句老格言 'Write the instruction manual before you write the program.'(先寫使用手冊,再開始寫程式。)
原因不是為了文件,而是如果你連使用手冊都寫不出來,表示你根本不知道「使用者如何使用」、「系統真正做什麼」、「哪些功能需要存在」。所以,文件不是附屬品,而是設計的一部分。
3. LaTeX 的經驗
主持人接著問:「那你設計 LaTeX 時也是這樣嗎?」
Lamport 很誠實地回答:「沒有。」他說:「LaTeX 一開始並沒有先寫完整說明書。」後來在寫《LaTeX 使用手冊》時,他不停遇到「咦?這怎麼這麼難解釋?」
每當一個功能很難用文字說清楚時,他就發現設計有問題而不是說明書有問題。
4. 為什麼寫作能改善思考?
主持人問:'Why is writing conducive to good thinking?'
Lamport 的回答非常直接:'Because it's very easy to fool yourself.' (因為人太容易欺騙自己。)
他認為人在腦中思考時,會自動「補足缺漏」、「跳過步驟」、「認為某件事『很明顯』」,因此不容易發現錯誤。
5. 數學證明帶給他的體悟
Lamport 說他自己本來就是數學博士,一開始寫並行演算法時,也按照一般數學家的方式寫證明。可是當演算法愈來愈複雜時,他開始發現自己原本以為「這一步很明顯」,其實根本證明不出來。自己真正開始把完整證明逐步寫下來,漏洞就全部跑出來。
因此他後來一直強調:「Proofs 不是拿來說服別人,Proofs 首先是拿來說服自己。」
這也是他後來推動 structured proofs(結構化證明) 的原因。
6. 寫作使人誠實 It makes you honest.
Lamport 認為,真正把想法寫下來時,你會發現有許多步驟其實沒有寫完整。你以為那些步驟「很顯然」,可是如果沒有寫出來,往往就是錯誤發生的地方。
因此他說:'Writing makes you honest.' (寫作使人誠實。)
這裡的「誠實」不是道德上的意思,而是你不能再依靠「模糊印象
直覺」與「腦中的空白」,每一步都必須真正存在。
7. 思維模式
Lamport 的觀點其實可以整理成下面這個循環:
「腦中的想法 --> 開始寫下來 --> 暴露漏洞 --> 修改設計 --> 重新寫 --> 思考變清楚」。
所以,不是「因為想清楚才去寫」,而是「因為寫,所以才真正想清楚」。
8. 與 Lamport 2019 年的演講完全一致
早在 2019 年接受 5 Minute Mentor 訪問時,他就說過:"Writing is nature's way of showing you how fuzzy your thinking is."(寫作是大自然讓你看見自己思考有多模糊的方法。)
他接著說:「如果你認為自己理解一件事,卻沒有把它寫下來,你只是以為『自己已經理解了』而已。寫作與思考之間形成一個正向循環,『寫得更好』會導致『想得更清楚』,又更進一步能寫得更好。」
----
因此,對 Lamport 而言,「寫作」並不是最後整理成果的工作,而是一種發現錯誤、澄清概念與完成思考的工具。他的名言「If you're thinking without writing, you only think you're thinking」正是這套哲學最精煉的表達。






.jpg)