編程與夢(mèng)想

陳凱

這是20世紀(jì)80年代學(xué)校教室中的一幕：孩子們用文字和圖畫在紙上描繪著未來的21世紀(jì)，有月球上規(guī)模龐大的人類基地、有城市上空來回穿梭的飛行汽車、有客廳中忙碌著各種雜事的機(jī)器人……21世紀(jì)已經(jīng)過去了五分之一，這些夢(mèng)想?yún)s一個(gè)都沒有實(shí)現(xiàn)。然而，當(dāng)時(shí)大概很少有人會(huì)想到，在現(xiàn)如今這個(gè)時(shí)代，人們會(huì)嚴(yán)重依賴于一種移動(dòng)數(shù)字設(shè)備，人們用它獲取新聞、看電影電視、聽音樂、閱讀、聊天、開會(huì)、創(chuàng)作、購物、理財(cái)投資、玩游戲……所有應(yīng)用的實(shí)現(xiàn)都依賴著通用計(jì)算的存在。

怎樣才能讓一臺(tái)機(jī)器自動(dòng)做不同的計(jì)算？在20世紀(jì)30年代之前，這還是一個(gè)混沌不清的問題，直到圖靈提出了后來被稱為圖靈機(jī)的計(jì)算模型，并且證明了可以在某個(gè)圖靈機(jī)中模擬出其他特定功能的圖靈機(jī)，那個(gè)被模擬出來的虛擬化的圖靈機(jī)，用今天的詞語來說就是程序，這就是一個(gè)機(jī)器之所以具有通用計(jì)算能力的關(guān)鍵。當(dāng)一個(gè)人編寫出一段程序并運(yùn)行時(shí)，他自己可能沒有意識(shí)到，他其實(shí)創(chuàng)造出了一種與物理現(xiàn)實(shí)相當(dāng)不同的“真實(shí)”。在計(jì)算機(jī)程序創(chuàng)造的世界中，很容易理解為什么有些哲學(xué)家會(huì)說“飛馬雖不是現(xiàn)實(shí)，但卻是真實(shí)的”。普特南于20世紀(jì)80年代在《理性，真理與歷史》一書中，通過“缸中之腦”的思維實(shí)驗(yàn)將何為真實(shí)這個(gè)問題的思辨推向了極致，如今，人們還沒有在現(xiàn)實(shí)中等到人類月球基地的建立，卻能在虛擬現(xiàn)實(shí)中以類似于“缸中之腦”的方式在各處游蕩，其中的意義，已經(jīng)遠(yuǎn)遠(yuǎn)超出了單純的娛樂領(lǐng)域。無論是對(duì)四色問題的證明，還是模擬蟻群的行為，或是在高維空間中進(jìn)行藝術(shù)創(chuàng)作，計(jì)算機(jī)程序所做的不僅是解放了人的計(jì)算力，更是創(chuàng)造出一種全新的直觀方式，用來切近更多非物理現(xiàn)實(shí)的真實(shí)。

藝術(shù)家在揮毫潑墨時(shí)，會(huì)忘卻筆的存在。筆——這種對(duì)于初學(xué)者來說“在手”的工具，在大師那里是一種“上手”的器物。萊布尼茨十分贊賞奧古斯丁的格言：不要自以為掌握了哲學(xué)真理，除非能說明用1、2、3和4相加得出10的時(shí)候頭腦中的跳躍。萊布尼茨試著用符號(hào)替換法來解釋頭腦實(shí)現(xiàn)加法的過程，無論他的解釋是否正確，人們?cè)谧鲞@樣簡單的加法的時(shí)候，很少會(huì)去想，自己的頭腦究竟做了怎樣的工作，自己在兒童時(shí)代初學(xué)加法時(shí)，又是用了怎樣的方法。那種日常生活中自然而然所做的加法，已經(jīng)成為一種“上手”的器物——雖然這種器物并不是一種實(shí)物。想象一下，或許在未來的一天，某些用編程來構(gòu)建夢(mèng)想的實(shí)踐者已不再留意編程本身，編程變得仿佛1、2、3和4的相加那樣自然而然，那應(yīng)該是離心中之夢(mèng)的顯現(xiàn)更接近的時(shí)候吧。對(duì)于那些身處程序設(shè)計(jì)教育領(lǐng)域的人來說，讓程序從在手之物變?yōu)樯鲜种铮褪且环N為心中之夢(mèng)的顯現(xiàn)所懷抱的具有嵌套結(jié)構(gòu)的夢(mèng)想了，單個(gè)夢(mèng)或許是微不足道的，但千萬個(gè)夢(mèng)想的同步和共振所帶來的大概不只是月球基地、空中飛車、家庭機(jī)器人……還必然有今天的人們根本難以精確預(yù)測(cè)的文明的成果和輝煌。

作者單位：上海市位育中學(xué)