回巴山:博士同等水平以下勿跟貼


論壇文摘主頁

送交者: Dishui 于 January 11, 2001 13:59:07:

回巴山:博士同等水平以下勿跟貼



所有跟貼﹒加跟貼﹒論壇主頁


送交者: Dishui 于 January 04, 2001 19:49:53:

博士同等水平以下勿跟貼

這網上計算机專家一抓一大把,就你個巴山最逞能,你要是半路出家的就一邊歇
著去,要是科班出身,你可是八六年就讀碩士了,比俺這個老知青讀的都早,這
水平可真丟人現眼。

一說起來又是一九零零年,這十九世紀的最后一年真是非同尋常,二十世紀的所
有重大進展都可以在這一年前后找到線索,這一年的前一年洛侖茲首次在一篇論
以太的文章中寫下洛侖茲變換,六年后它導致了愛因斯坦的狹義相對論﹔這一年
佛洛伊德發表了他最有影響的著作“夢的解釋”。獨樹一植地創立了精神分析學,

這一年普朗克在解釋黑体幅射時首次引進能量量子假設。拉幵了物理學最具革命
性的理論----量子力學的序幕。這一年有一個數學天才在巴黎的一個數學國際會議

上對數學作了一個世紀展望,這個人就是希爾伯特。要說這個人有多厲害衹要提
兩點就行了,愛因斯坦夠厲害了吧,愛因斯坦花了十年鑽研的廣義相對論,希爾
伯特衹用一個多月就把它解決了,而且完成在愛因斯坦之前。另一個是量子力學
的數學基礎----相當于牛頓力學中的微積分---是計算机之父之一馮。諾意曼搞出來

的,而馮。諾意曼理論的數學基礎和想法都是希爾伯特的。

希爾伯特在一九零零年的巴黎會議上給數學提了二十三個問題,其中有一個是要
把物理建立在公理化体系上,馮。諾意曼的“量子力學的數學基礎”就是這個建
議下的產物。這二十三個問題中的第二個問題,是要找一個一般的而且自動的方
法和步驟來求任一公理化体系的所有真命題。這個問題的探索產生了兩個重大發
現,一個是Godel的不完全性原理,哥德爾証明在公理化的數論体系中,有一些真
命題肯定不能用數學方法推導証明出來。所以即使可以找到一般的自動的演算方法,

結果肯定也是不完全的。另一個發現就是圖靈机,它成為現代計算机的邏輯基礎。


其實數學家們所作的用今天話來說就是找算法(AOLGORITHM),首先大家考查的都
是有限狀態构成的体系,大家找了一大堆各別問題的算法,以及能執行這些算法的

自動机。直到有一天圖靈說俺找到了一個最一般的算法和自動机,凡是你有本事找

出來的算法,俺都可以用俺這算法和自動机把你另算一遍結果跟你一樣。計算机就

這么誕生了。既然找到了普适算法。對普适計算机硬件設計的要求就是衹要你能實

現圖靈運算理論上你就可以實現所有算法的運算。馮。諾意曼的設計實際是最簡單

的設計,把圖靈机中的無限長讀寫帶變成了有限大的存儲空間。然后操作步驟是一

步步的。圖靈机的讀寫頭可以來回跑,馮。諾意曼的讀寫指針也可以尋址。馮。諾

意曼的硬件結构能不能達到圖靈机的理想運算能力?實際是不能。第一個存儲空間

有限,第二個因為机器按順序一步步執行,而且硬件有有限的反應速度,所以有些

算法理論上可行但執行時間是無窮大。為了克服馮。諾意曼的硬件結构,并行分布

網絡結构應當算是對其的補充但卻仍然算圖靈机的硬件結构。有了硬件以后,所有

的軟件的算法設計就是一個個各別的有限狀態机的設計過程,當然方法上有簡化。

然后程序的執行是圖靈机硬件實現對設計算法的模擬執行。所以說硬件結构是圖靈

机結构而軟件結构則是有限狀態机結构。哈哈哈,現在的生物机量子机情況如何?

目前還沒有見到有可以對圖靈机的作實質突破的跡象。有沒有可能突破?這目前則

衹能是方舟子和李洪志爭論的範疇了。:)

所有跟貼:

有點空,象哲學系的人寫的 - 老豬倌 (0 bytes) 10:58:16 1/05/01 (0)




論壇文摘主頁