換個角度看技術(shù)

魏寧

每個學(xué)科的教師都有自己的學(xué)科背景，也都習(xí)慣從自己學(xué)科的角度出發(fā)看問題，這幾乎成為一種固定的思維方式。它不易察覺，因為它已經(jīng)成了你骨子里的東西。就以信息技術(shù)教師為例，天然的就帶有一種“技術(shù)思維”，他們以技術(shù)為驕傲，甚至視技術(shù)為信仰。看問題自然從技術(shù)角度出發(fā)，其典型特征包括遇到問題首先想到用技術(shù)去解決，堅信技術(shù)的解決方案是最佳的……

作為以技術(shù)為學(xué)科背景的人，上述行為不但無可厚非，反而是技術(shù)人員的一種優(yōu)秀品質(zhì)。但是，凡事有利就有弊，如果我們總是從技術(shù)出發(fā)看問題，久而久之，難免會讓我們忽略一些東西甚至偏離事物的本質(zhì)。

我們常說“換位思考”，但說來容易，做起來卻是難上加難。因為，當(dāng)我們習(xí)慣了從一個角度看問題時，會無視甚至排斥其他角度的對立觀點。所以，換個角度看問題，首先要善于傾聽并勇于接納不同的觀點，在這個前提下，才能真正跳出技術(shù)去反思技術(shù)應(yīng)用的得與失。只有這樣，才能讓我們從一個更寬廣的視野里，更深刻地理解問題，也更深刻地理解技術(shù)。

在計算機發(fā)展史上，計算機第一次證明數(shù)學(xué)定理——四色問題，絕對是一件值得大書特書的里程碑事件。站在技術(shù)的角度上，這無疑是一次完美的表現(xiàn)，堪稱摘下了智力“皇冠上的明珠”。但站在數(shù)學(xué)家的角度，又會如何看待這一事件呢？一片歡呼？心存感激？不屑一顧？聽聽數(shù)學(xué)家的說法，對我們來說正是一次難得的換位思考的機會。

我們還是首先回顧一下四色問題的證明過程。四色問題最初由地圖著色而來，通俗的說，就是只需四種顏色就可以給一幅地圖著色。這說來簡單的問題在數(shù)學(xué)證明上卻遇到了絕大的困難，一百年來無人破解。直到1976年，美國人阿普爾和哈肯借助計算機用反證法的思路“證明”了這一難題，他們用計算機花了1200小時，用窮舉檢驗檢查了1482種情況，證明了不存在需要五種顏色著色的地圖，從而反證四色問題成立。

在計算機發(fā)展史上，這毫無疑問是計算機挑戰(zhàn)人類的重大勝利。但出人意料，四色問題的“解決”卻并沒有得到數(shù)學(xué)家們一致的掌聲，反而遭到了不少質(zhì)疑。

在數(shù)學(xué)家眼中，數(shù)學(xué)證明從來都是天才的智慧與簡潔的過程的混合體。而計算機證明看起來卻沒有一點智慧，甚至是笨拙的，因為它靠的幾乎是蠻力。過程呢？對不起，計算機不會給你看證明細(xì)節(jié)的。事實上，自始至終也沒有一個數(shù)學(xué)家看過計算機證明四色問題的全過程，只能得到這樣的答復(fù)：“計算機花了1200小時，完成了上百億次計算，找到了約2000個圖形的集合，產(chǎn)生了數(shù)百頁程序文件，結(jié)論是四色問題成立。”更糟糕的是，由于計算機程序難以避免的bug，自從證明結(jié)束之后，就不斷有人發(fā)現(xiàn)其中出現(xiàn)的一些錯誤，如有些圖形被誤算了。雖然事后這些漏洞都得到了修正，數(shù)學(xué)家們也被告知這并不影響最終結(jié)論，但誰能保證下一次的錯誤不會是致命的？一些數(shù)學(xué)家甚至憤怒了，“這簡直是用一個壞方法毀掉了一個好問題！”

從那時到現(xiàn)在，很多數(shù)學(xué)家依然把四色問題列為一個“有待解決的難題”。人們依然為之著迷、為之奮斗。“我們希望看到像一首詩一樣美妙的數(shù)學(xué)證明，而不想看到一本電話簿！”——數(shù)學(xué)界依然在等待著一個簡潔的、充滿智慧和美感的、純粹的數(shù)學(xué)證明。

重溫四色問題的這一段爭論，是為了能站在技術(shù)和數(shù)學(xué)的不同角度看待問題，而并非一定要分個對錯。正如蘇軾的《題西林壁》：橫看成嶺側(cè)成峰，遠(yuǎn)近高低各不同。不識廬山真面目，只緣身在此山中。

換個角度看問題，并不是為了否定技術(shù)，而是想看到不一樣的風(fēng)景，最終更全面、更辯證地理解技術(shù)。對此，我們又何樂而不為呢？