專題路線 · 12個精選節點
數學發展史
按日期閱讀這十二個節點，每到一站都問：它在處理什麼問題，又怎樣說明方法可行？泥板、抄本、注釋和公開論文保留著不同類型的證據。現代的「數學」分類幫助我們整理這些材料，也需要讓位於當時的用途、表達方式和問題。
從留下的材料，辨認計算與論證
先把巴比倫泥板和萊因德紙草放在一起看。前者保存成組的數，後者透過題目安排分數與測量的計算步驟；這些材料讓我們看到數字如何被記錄和組織。今天可以用直角三角形關係分析泥板數值，但材料的用途仍有不同解釋。紙草又是承接較早材料的抄本，因此現存物件的年代和方法首次出現的時間需要分開。
再把《幾何原本》和劉徽注並讀：一種以定義、假設和命題編排證明，一種在注釋中解釋既有演算法的理由。比較應落到具體的論證，不能用「實用」或「理論」給整個傳統排高低。《阿耶波多曆算書》把數學放進數理天文學，婆羅摩笈多討論運算規則，花拉子米用文字和幾何組織方程解法。它們各自的文本形式與用途，也影響了知識如何被解釋、修正和傳授。
看表達工具如何變化，也看問題怎樣分開
讀到笛卡兒和萊布尼茲時，可以追問：曲線能否用方程研究，切線與極值問題能否共用一套運算規則？新的表達方式讓不同題目建立聯繫，但不能把今天完整的座標教學或嚴格的極限基礎一併放回當年的出版物。費馬和牛頓的獨立研究也提醒我們，單篇著作的發表年份只是可核對的節點，並不囊括所有貢獻。
最後三個節點提出不同層次的問題：羅巴切夫斯基改變平行公設，康托爾比較無窮集合的可列舉性，哥德爾考察滿足特定條件的形式系統能證明什麼。閱讀時應保留這些區別。非歐幾何不能簡化成「歐幾里得錯了」，1874年的論文不能配上1891年的對角線論證，不完備性也不能直接推廣成所有數學或人類知識都不可靠。日期順序幫助比較問題，並不證明這些工作構成一條直接的因果鏈。
這條路線的時間軸
約公元前1800年
巴比倫泥板留下直角三角形的數表
從泥板實際保存的數表出發，區分現代讀法與古代用途。這裡的直角三角形關係值得觀察，關於用途與證明的判斷則要保留證據邊界。
約公元前1550年
萊因德紙草把分數與測量寫成習題
把數表和習題文本比較，看看分數與測量如何被編排成可學習的步驟。注意約公元前1550年是現存抄本的斷代，不是所有方法的起點。
約公元前300年
《幾何原本》把數學組織成證明的鏈條
觀察定義與基本假設如何支撐後續命題，再把這種編排與劉徽注釋中的解釋方法比較。後面讀非歐幾何時，可以回來重看「假設」承擔什麼作用。
263年
劉徽為《九章算術》追問算法為什麼成立
追問一個演算法為何成立，看看注釋如何把計算步驟和數學理由接起來。263年定位劉徽作注，不能當成《九章算術》整部書的誕生年份。
499年
《阿耶波多曆算書》讓數表服務於天文學
留意數學在天文學著作中的用途，以及簡練詩節為何需要注釋者展開。它與劉徽的節點可以共同幫助理解：承載知識的文本形式也值得研究。
628年
婆羅摩笈多把零納入運算規則
區分零作為空位記號與零進入運算規則這兩個問題。讀到除零的處理時，保留它與今日數學的差別，避免把628年寫成現代數系一次完成。
約830年
花拉子米把方程解法編成代數學
在尚無今日字母代數符號的文字中辨認方程類型、解法和幾何理由。再讀笛卡兒時，可以比較同樣關聯代數與幾何的不同表達方式。
1637年（著作出版）
《幾何學》讓曲線與方程相互表達
把注意力放在曲線與方程的相互表達，比較它與前面的文字解法。1637年錨定出版，相關方法也有費馬的獨立研究，書中的形式還不同於今日的座標課本。
1684年（微分論文發表）
萊布尼茲發表便於推廣的微分演算法
看微分符號和規則如何把切線、極值等問題接成可重複使用的方法。1684年指論文發表；牛頓的獨立研究與後來逐步完善的基礎，同樣屬於閱讀背景。
1829—1830年（論文連載）
羅巴切夫斯基探索另一種平行線幾何
回到《幾何原本》的平行公設，比較改變假設會帶來什麼推論。1829—1830年錨定論文連載，早期報告和後來的模型應分別理解。
1874年（論文發表）
康托爾證明無窮集合可以有不同大小
比較「能逐一列舉」與「不能如此列完」，把無窮集合大小的問題說清楚。這裡閱讀的是1874年的結果，常見的對角線論證屬於後來工作。
1931年（不完備性論文發表）
哥德爾劃出形式證明的能力邊界
用這個節點檢驗自己是否分清了公理、形式證明和系統的適用條件。結論針對滿足相應條件、足以表達算術的形式系統，不是對全部數學可靠性的否定。
帶著問題繼續讀
怎樣比較一張數表、一個演算法和一段證明？
先選一個具體結論，再問材料提供了哪些支持：列舉數值、給出可執行規則，還是從條件推導結論？泥板上的成組數值不能自動充當一般命題的證明；劉徽的注釋又說明，演算法文本也可以解釋方法為什麼成立。比較材料中的理由，比給整個文化貼上「只會計算」或「只重證明」的標籤更有用。
哥德爾的1931年結果究竟限制什麼？
它討論可有效公理化、包含足夠算術內容並滿足相應一致性條件的形式系統。條目分別說明系統內部的不可判定命題與自證一致性的限制。讀者需要保留這些條件，不能據此認定每個數學問題都無解，或任何人類知識和機器都服從一個不加區分的結論。