|
1936年，年僅24歲的數學天才圖靈，發表了一篇極為深奧的論文。沒想到，這一舉動竟然挑釁到了偉大的數學家希爾伯特，圖靈差點兒被封殺。而另人驚愕的是，也正是靠這篇論文，圖靈一躍成為計算機之父，聞名于世。
說到圖靈這個名字，很多人都有所耳聞，畢竟沒有圖靈就沒有我們現在用的計算機。但其實，一開始，圖靈其實是個數學家。 在圖靈那個年代，數學家里有一個絕對王者，那就是大名鼎鼎的希爾伯特。 當時的希爾伯特，數學界無人不知無人不曉，甚至隱隱有比肩歐拉之姿，被譽為歐洲數學界的教皇。 1900年，希爾伯特向國際數學界提出了23個有待解決的數學難題，此舉影響深遠，直至今日。 毫不夸張的說，在數學界，希爾伯特說什么就是什么，沒人敢反對。 然而，劍橋大學一個憤世嫉俗的研究生，卻非要證明希爾伯特的部分觀點是錯的。 這個研究生，就是圖靈！ 圖靈針對的是希爾伯特的數學“全知性”—— 希爾伯特認為，數學是可以知道一切答案的，只要你給我足夠的前提條件和計算空間。也就是說，只要問題表述的足夠清楚精確，再加上合適的“程序”，系統（不管是人的系統還是機器系統）就可以解決任何數學問題。 這是希爾伯特對數學的堅定，也是希爾伯特自己的信仰。 但圖靈非要挑戰這個信仰！ 于是，圖靈廢寢忘食的研究深入，很快攜一篇深奧的論文橫空出世，論文的名字非常拗口，名為《論可計算數及其判定問題上的應用》。 此文一出，舉世皆驚！ 因為，圖靈居然在論文中指出希爾伯特的“數學全知性”的觀點是錯的！ 這還得了？ 那可是數學界的絕對王者希爾伯特啊！ 你圖靈一個小小研究生居然以下犯上？！ 不出意外的，圖靈遭到了漫天的批評和質疑，差一點點就被數學界封殺了。 但圖靈依然我行我素，繼續跟希爾伯特的支持者們對著干！ 既然你希爾伯特說“只要有一個系統，理論上可以解決任何問題”，那么，我圖靈就給你一個最強大的系統。 為此，圖靈嘔心瀝血，發明了通用圖靈機，也就是我們現代計算機的前身。 雖然圖靈機較之現今僅能算作一個框架，但較之希爾伯特的“人”組成的系統，圖靈機要強出不知凡幾。 按希爾伯特的觀點來說，圖靈機這個“系統”理論上應該可以解決一切數學問題。 但圖靈卻是通過對通用計算機行為的推理，證明有一些定義明確的數學問題，是通用計算機無法解決的。 即使計算機有無限的內存空間，即使計算機能夠永遠持續計算，在有窮的步驟內，也無法給出“是”或者“否”的答案。 也就在這一刻，希爾伯特堅信的數學本質崩塌了，而圖靈也攜著圖靈機霸氣登頂歷史舞臺，榮獲計算機之父的美譽。 如今，回望這段歷史，我們或許該慶幸“被封殺”的圖靈沒有失意消沉，而是越戰越勇，才成全了我們現在的計算機時代。 其實，很多名人都曾有過這種“磨難”，就像余華也曾經被退稿，不過他卻是笑談“心態更好了！” 這，大概就是名人成功的原因之一吧！#余華笑談被退稿：心態更好了#    |
|
|
來自： 新用戶15472188 > 《待分類》
