紀念胡世華誕辰百年：半個世紀前的計算機夢想

　　當今，計算機技術已經占據社會生活的方方面面，人們無法想象離開計算機還能做什么。倒退幾十年，人們同樣無法想象的則是如今計算機技術的盛況。今年是“計算機之父”圖靈誕辰100周年。在中國，也有一位與圖靈同歲的科學家為中國計算機技術的發展作出了貢獻。

　　半個世紀前，中國科學院院士、中國科學院軟件研究所研究員胡世華開始推動數理邏輯和計算機技術的結合，中國計算機的夢想之門就此打開。

　　胡世華1912年生于上海市，其父胡惟德曾任北洋政府國務總理和駐外國公使。

　　中學期間，在天津南開中學深厚的數學學科積淀的影響下，胡世華逐漸對數學產生了極大的興趣。1932年，胡世華進入北京大學，本來打算攻讀數學系，但父親胡惟德卻希望教育他的兒子如他一樣走上從政的道路。盡管胡世華對這樣的安排不滿意，但也遂了父親的心愿選擇了哲學系。

　　不過，這并不代表胡世華遠離了自己喜愛的數學。

　　1936年到1941年期間，胡世華前往奧地利，先后在維也納大學和德國西威廉敏斯特大學學習。在歐洲，他接觸到與亞里士多德經典邏輯大大不同的數理邏輯。

　　17世紀中，數學家萊布尼茲十幾歲時曾有一個夢想，要造一種能夠靠特定符號排列陳述所有科學分支的語言。同時，數理邏輯的初步工作也由萊布尼茲完成。

　　1847年，英國數學家布爾發表了《邏輯的數學分析》（The Mathematical Analysis of Logic），建立了命題演算系統，“布爾代數”，并創造一套簡便的符號系統，利用符號來表示邏輯中的各種概念。布爾建立了一系列的運算法則，初步奠定了數理邏輯的基礎。

　　當時，世界上數理邏輯界的主要學者大多居住在德奧兩國，包括20世紀偉大的數理邏輯大師哥德爾（Ki G?觟del）在內。而就在胡世華離開的第二年，著名的維也納圈子（Vienna Circle）正式成立。他在維也納圈子醞釀時期受到了上世紀偉大哲學家羅素、維特根斯坦思想的影響。

　　“這為胡先生提供了很好的學習哲學的環境。”胡世華的學生、中科院軟件所研究員楊東屏說。

　　維也納圈子的浸潤也使胡世華預見到，將來，以數理邏輯為基礎的計算機將有無限的發展空間。同時，二戰期間，在英國戰時情報中心政府編碼與密碼學院（GC&CS:Government Code and Cypher School）服役的圖靈研制出效率高、功能強大的密碼破譯機“巨人”（Colossus），為重大軍事行動破譯密碼發揮了重要的作用。計算機應用的前景也讓胡世華更加堅定了推進中國計算機研發的決心。

　　正是受到西方哲學思想的浸潤，胡世華才得以在這個數學和邏輯學的分支中越走越遠。

　　1943年，胡世華發表《論人造的語言》一文，仔細地介紹并解釋了一階謂詞演算。盡管此時離1879年福利格（Frege）建立的謂詞演算系統已時隔多年，但由于國內了解數理邏輯的學者很少，胡世華的文章仍然在當時受到了極大的關注。

　　隨后，胡世華又與多名國內學者一直致力于推動國內數理邏輯的發展。例如，他曾與中科院軟件所研究員陸鐘萬合著《數理邏輯基礎》，著重介紹了直觀的自然推理的證明格式，為國內推動謂詞演算知識起了較好的作用。

　　不僅如此，胡世華對計算機的發展具有創造性的預見。中國科學院院士、中國科學院軟件研究所研究員唐稚松曾撰文稱：“胡老師是我國把邏輯和計算機結合起來進行研究的倡導人。”

　　在維也納求學期間，胡世華便看到了數理邏輯廣闊的應用前景。楊東屏評價：“胡先生的這個想法非常超前。”

　　1956年，在中國科學史上第一個學科規劃中，胡世華便以圖靈破譯德軍密碼的案例，闡述了數理邏輯對計算機產生的重要作用，成為中國第一位強調計算機研究的學者。

　　1958年“大躍進”時期，胡世華創辦數理邏輯訓練班，全國各地高校教師參與其中，使數理邏輯在高等院校中打下了基礎。西北大學原校長郝克剛等數學家都是當年訓練班培養出的人才。

　　另外，據中國科學院軟件研究所第一任所長許孔時回憶，1961年7月，胡世華向當時在中科院計算技術研究所工作的許孔時提出，把數學所的第四研究室（數理邏輯研究室）整體調到計算技術研究所。

　　胡世華認為，數理邏輯的研究必須要結合計算機的研究和發展，特別要結合計算機體系設計和程序設計自動化的研究。這比當時歐洲一些國家的專家的看法要超前。

　　經過五個多月的曲折，1961年12月，胡世華的心愿終于達成。從此，數學研究所數理邏輯方面的研究人員都進入了計算技術研究所新成立的第九研究室。

　　1963年10月，中國電子學會計算機專業委員會舉辦了第三次全國計算技術經驗交流會，胡世華在大會上作了綜述報告，并主持數理邏輯組會議。此次會議標志著國內的研究者將數理邏輯與計算機科學技術結合的開端和努力。

　　據胡世華的學生，中國科學院院士、中國科學院軟件研究所研究員周巢塵回憶，直到晚年，胡世華仍在研究哥德巴赫猜想的可判定問題。“他認為計算機的運算能力是在不斷提高的，一些可判定的難題將來可能借助計算機來解決。”周巢塵說。