陳凱
這是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é)