從算盤到幾何:規則化計算的物理實踐#
黏土裡的帳冊#
計算機的歷史,遠在電力出現之前就開始了。西元前八千年左右,美索不達米亞的蘇美人用黏土製成的小球體(token)記錄穀物與牲口——一個錐形代表一斗小麥,一個球形代表一罍油。這些昂貴飼育的城市需要課稅、需要登記、需要在神廟之間對帳,於是「以物記物」演變為印在泥板上的抽象符號,再演變為楔形文字裡系統化的六十進位記數法。巴比倫的書記官在濕泥板上演算平方根與複利,靠的是口訣與數表的記憶。換句話說:計算從來不是「天賦」,而是制度需求的產物——神廟經濟、皇家賦稅、土地丈量,每一項都逼著人類把數學變成可靠的操作程序。
這正是「計算」概念的第一層本質:將心智運算外包給規則與外物。古代人做不到心算大數,就把過程攤開在器具上,一步一步照規則走。「照規則走」這件事,將在五千年後化身為程式。
算盤:位值制與心算規則的婚姻#
各種算盤其實是同一套思想的不同方言。中國算盤(珠算盤)在宋元之際成形,《清明上河圖》的藥鋪櫃檯上已隱約可見;上二珠下五珠,逢五進位、逢十進位,靠「三下五除二」這類口訣驅動。羅馬人的計算珠板(calculi 與溝槽計數板)用鵝卵石在刻槽中滑動;俄羅斯的 s'choty 每檔十珠、無中樑,橫放操作;日本的十露盤則是明代珠算盤東渡後的精簡版,一珠四珠、指法講究,江戶時代與明治時代仍是商賈的基本功。
這些器具的共通點值得深思:算盤本身不會計算,它只是把數字「擺在空間裡」。位值制讓同一顆珠子在不同檔位代表不同的量,而真正執行運算的是操作者腦中背誦的規則——進位口訣、湊五規則。這是一場「物理記憶體+軟體演算法」的分工,而且這套分工持續至今:任何一台電腦,都是「能儲存位元的硬體」加上「描述操作的規則」。算盤文化還訓練出整整數個世紀的職業階層——掌櫃、書記、帳房——第一批以此為生的人力計算機。
歐幾里得:推理也能被機械化#
如果說算盤解決的是「計算數值」,那麼歐幾里得更動的是一個更深的問題:推理本身能否被規則化? 約西元前 300 年,他在亞歷山大城撰寫《幾何原本》,全書從少數不證自明的公設出發,以邏輯規則一步步推導出整個幾何世界。五個公設、二十三個定義,就能推出數百條定理——這意味著:只要程序正確,任何受過訓練的人(甚至一個不識幾何之美的書記)照著演繹規則走,就會得到相同的結論。
這個洞見對計算機史極關鍵。歐幾里得證明:思想過程可以被形式化為「初始條件+操作規則」的機械流程。兩千多年後,萊布尼茨讀《幾何原本》時感嘆:若能把一切推理都寫成這種形式,人間爭論便可用一句話解決——「讓我們來算算吧」(Calculemus)。萊布尼茨的夢想,就是計算機的遠祖。
三藝與西歐的記帳文化#
中世紀的七藝中,算術、幾何、音樂、天文合稱四藝(quadrivium),修道院文法學校把它視為通往神學真理的階梯;《算術》《音樂》《幾何》這些拉丁教程(博伊西斯傳承的傳統)塑造了所謂「西歐學派」的數學教育。教育的驅動力來自制度:商業城市興起後,複式簿記(1494 年帕奇歐里的《算術、幾何、比與比例摘要》正式系統化)成為威尼斯與佛羅倫斯商行的生存技能,算盤學校在義大利遍地開花。數學第一次不只是天國之梯,而是可聘用的商業資產。
納皮爾:把乘法變成加法#
真正的轉折出現在 1614 年。蘇格蘭的 John Napier 出版《奇妙的對數定律證明》,宣告了一個石破天驚的想法:每個正數都可以表示成某個固定底數的冪,於是乘法就化為指數相加——「乘轉為加」。他花費二十年手工計算對數表,讓天文學家 Kepler 感激地稱之為「替天文計算省下雙倍壽命」的發明。
對數表之外,Napier 還發明了「納皮爾骨牌」:一套刻著乘法表的木棒,按位拼排即可用加法完成任何多數位乘法。這是第一次,一位數學家刻意把一個算術操作「拆解成可機械擺放的零件」。骨牌很快演化成計算尺(slide rule):1630 年前後,William Oughtred 將對數刻度刻在並排的尺上,滑動對齊即可讀出乘除結果。此後兩百多年,計算尺成為航海家測算航程、天文學家換算軌道、稅吏稽核關稅的標準配備——它不精確,但它快、便宜、隨身攜帶,符合大航海時代與殖民政政時代的經濟節奏。
數學作為資產#
從蘇美泥板的賦稅,到歐幾里得的公理,到對數表的出版與計算尺的量產,我們看見一條清晰的動力鏈:經濟需求 → 規則化方法 → 技術工具 → 職業階層 → 再催生新需求。軍事彈道、航海經差、保險年金的精算,每一項都呼喚著更快的計算。而當人力逐漸不敷所需時,一個自然問題浮現了——
能不能讓機器自己完成這些規則化的計算?
下一章,兩位十七世紀的天才將用金屬齒輪,第一次給出肯定的、然而代價昂貴的答案。
flowchart LR
A[蘇美黏土 token:制度需求] --> B[算盤文化:位值制+心算規則]
B --> C[歐幾里得:推理的公理化]
C --> D[中世紀四藝教育]
D --> E[Napier 1614 對數:乘轉為加]
E --> F[計算尺 1630:批量工程計算]
F --> G[十七世紀問題:機械化計算?]