紀念圖靈誕辰106周年：回望航天科工計算機跨世紀之旅！

106年前的今天，阿蘭·圖靈誕生了。那時候，沒人會料到眼前這個不起眼的小男孩，日後將成長為 「計算機科學之父」，而由其開創的有關計算機理論與實踐的光輝，更將灑落在人類歷史長河並持續影響人類計算機事業長達百餘年。

但站在106年後的今天回望，無疑這一切都發生了，甚至連遠在另一半球的中國，和紮根在那片土地上的企業一起，都接下來的歲月里成為圖靈的密切利益相關體。

馮·諾依曼奠定計算機架構，阿蘭·圖靈卻賦予它靈魂

時至今日，全世界所有有關計算機的書籍和論文中，馮·諾依曼和阿蘭·圖靈的名字被反覆提及——馮· 諾依曼提出了計算機體系結構的設想，而阿蘭·圖靈則建立了圖靈機的理論模型，奠定了人工智慧的基礎。

那是1945年6月，「馮?諾依曼體系結構」被提出，它主張數字計算機採用二進位數制，並按照程序順序執行。這在當時堪稱變革，因為二進位數制直接宣告了電子計算機時代的誕生。

幾乎在同一時代，阿蘭·圖靈從模擬人類思考和證明過程入手，提出利用機器實現邏輯代碼執行，以及人類各種計算和邏輯思維過程的方法。落實到實踐層面，便是通過「圖靈機」的設想，第一次在純數學符號邏輯與實體世界之間建立聯繫。

從圖靈機到「圖靈完備」——現代計算機設計的思想源泉

很長一段時間裡，人們試圖用遞歸函數、Lambda演算、Post機、細胞自動機等模型定義演算法，但直到圖靈機出現，演算法才有了數學定義。你可能會疑問：圖靈機由控制器、無限延伸的紙帶以及讀寫頭組成，這明明是個計算機模型，為何要強調它的演算法成就？

有所不知，圖靈機的提出，並不是為了給出計算機的設計，而是旨在證明通用計算理論。比如，計算機實現的可能性，計算機應有的主要架構，讀寫、演算法、程序語言概念，以及新的計算機器設計理念等。可以毫不誇張地說，圖靈機的設計和運行，蘊涵了深邃的演算法思想及對計算機本質的認識，這才是它的核心價值所在。

除此以外，阿蘭·圖靈還進一步提出了「圖靈完備」的概念，用以論證計算的可行性。應該說，圖靈機和「圖靈完備」理論，不僅成為設計實用計算機的思路來源，更成為當今各種計算機設備的理論基石。

國產第一代計算機驚艷亮相，圖靈的種子在中國大地開了花

1946年，世界上第一台通用計算機「ENIAC」於1946年在美國賓夕法尼亞大學誕生，從此揭開各國發展計算機事業的序幕！

1957年秋季，中科院計算技術研究所決定以蘇聯M3小型計算機資料為藍本，按總體仿製局部修改的原則展開我國第一台電子管數字計算機103機研製工作。11月，來自國防部五院二分院電子計算機研究室（中國航天科工二院706所前身）的張梓昌，被借調任計算所103機研製組副組長一職，領導103機研製工作。1958年8月1日，103機宣布研製成功。

然而，人們只知曉103機作為中國第一台電子計算機的里程碑意義，卻對其重要參與者——中國航天科工集團在計算機領域的成就知之甚少。

事實上，用「計算機事業的開拓者之一」來形容航天科工一點也不為過。因為，它不僅參與了我國第一台小型電子管數字計算機103機、第一台大型電子管數字計算機104機、第一台大型通用計算機119機的研發工作，還為我國「兩彈一星」研製任務、擊落美國U2飛機捍衛領空尊嚴承擔了大量科學計算任務。

在漫長發展軌跡上，航天科工還先後自主創新研製出我國第一個FORTERAN語言編譯系統、我國第一個實用的關係型資料庫管理系統、我國第一台低輻射計算機、我國第一台通過鑒定的對稱多處理機型並行計算機等一系列國家級重大成果的開拓者。近年來積極踐行國家自主可控發展戰略，以建設覆蓋數萬人的國家級自主可控信息系統「樣板間」，躋身成為我國自主可控信息產業的領軍者之一。

在歷史的蒼穹里，唯有璀璨的思想火種不會凋零。而圖靈那猶如靈光閃現般的有關計算機的開創性理論，便是這樣一顆種子，它無意間被播撒在近代計算機事業的土壤中生根結果。

喜歡這篇文章嗎？立刻分享出去讓更多人知道吧！