商品簡介
《哲學研究論叢:馮.諾伊曼的計算機科學哲學》對計算機邏輯思想的來龍去脈作出了清晰的梳理,在正確把握馮.諾伊曼自動機理論的基本內涵的基礎上,從中提煉出科學哲學思想,主要概括為:一是以“畢達哥拉斯主義思想”(宇宙的奧秘在於數學規律之中)為導向,構想自動機的理論模型,並且與後世的“計算主義思想”(宇宙=一台巨型計算機)接軌:二是貫徹亞裡土多德“程序目的性”(由生物學哲學家邁爾提煉概括出來,並且認定為亞裡士多德“目的論”中最精彩的成分)和維納控制論的“現代目的論”思想於邏輯機器之中。《哲學研究論叢:馮.諾伊曼的計算機科學哲學》還較系統地探討了馮.諾伊曼理論對複雜性研究的貢獻,分析了這些思想對計算機科學以及相關科學的哲學啟示。
作者簡介
潘沁,女,1974年出生,湖北荊州人,2003年畢業於華中師范大學科技哲學專業,獲哲學碩士學位,2011年畢業于南開大學哲學院,獲哲學博士學位,現為桂林電子科技大學副教授,主要從事科學方法論研究。參著《科學思維的藝術》《科學辯護的沉思——科學確證與科學接受的方法論辯護》等。發表多篇關於科學方法論、邏輯學、計算機科學哲學文章。
名人/編輯推薦
《馮?諾伊曼的計算機科學哲學》所討論的是計算機科學哲學的深奧的哲理,卻是用一種優關流暢的文字和深入淺出的筆法來表述的,因此可讀性很強。它適合于關心計算機科學、自然辯證法、科學哲學、邏輯與科學方法論的研究者,乃至一切對此有興趣的廣大讀者。
目次
第一章計算機邏輯思想源流第一節萊布尼茨:偉大的夢想第二節從喬治.布爾到弗雷格一、喬治.布爾:把邏輯變成數學二、弗雷格:創建一種計算機程序語言第三節從庫爾特.哥德爾到阿蘭-圖靈一、哥德爾:計算機程序設計師二、阿蘭.圖靈:計算機邏輯理論的奠基人第四節馮.諾伊曼:萊布尼茨夢想的實現者一、馮.諾伊曼其人二、馮.諾伊曼與“馮.諾伊曼型機”三、自動機:理論計算機模型第二章馮.諾伊曼自動機理論中的畢達哥拉斯主義傾向第一節畢達哥拉斯主義的特點及其影響第二節“馮.諾伊曼機”結構中體現的數學啟發原則第三節馮.諾伊曼自動機模型中體現的抽象性原則第四節馮.諾伊曼對自動機數學理論的追求第三章馮.諾伊曼自動機理論中隱含的生物目的論思想第一節目的論思想的源流一、亞裡士多德的目的論思想二、神學目的論與活力論三、近代目的論四、現代目的論第二節馮.諾伊曼與目的論思想應用研究一、對生物信息過程的探究二、自然自動機與人工自動機之比較三、馮.諾伊曼計算機:現代目的論的機器實現第三節自增殖自動機:目的論的算法實現第四章馮.諾伊曼自動機理論中的複雜性問題第一節馮.諾伊曼對複雜性問題的關注與論述一、複雜性問題概述二、自動機的可靠性與複雜性三、複雜性與信息論、熱力學第二節簡單規則導致複雜行為的自增殖自動機:元胞自動機一、對空間、時間關係的形式化二、元胞的各種“態”與轉換規則第三節馮.諾伊曼自動機理論對複雜性問題的貢獻一、邏輯深度二、複雜性分析法——數值方法三、自下而上的建構方法四、複雜性的湧現第五章馮.諾伊曼自動機理論之意義與影響第一節馮.諾伊曼自動機理論對計算主義的影響一、計算主義思想的理論淵源與發展二、元胞自動機成為當代計算主義的根隱喻第二節馮.諾伊曼計算機理論對研究複雜系統的方法論意義一、為複雜性研究提供了技術手段二、為複雜性研究提供了方法——數值方法三、為複雜系統動力學提供了研究案例第三節馮.諾伊曼自增殖自動機理論對人工生命研究的意義一、從計算的角度理解生命二、為人工生命研究提供了建構方法三、為人工生命研究提供了研究路徑結語參考文獻後記
書摘/試閱
貝塔朗菲還指出,至少可以用三種理論模型來模擬目的性行為:(1)等結果性模型:從不同的初始狀態以不同的方式達到共同特征的目標狀態的趨勢,其基礎是達到穩定狀態的開發系統的動態相互作用。(2)控制論的反饋模型,指系統通過自動平衡保持其特征狀態,或者尋求目標,它的基礎是在系統內具有一種循環因果鏈或反饋機制,一旦系統出現偏離目標狀態的傾向,輸出端的信息就會及時返回到輸入端,以便校正。(3)用于適應行為的模型。
控制論目的觀的最根本特點是,把行為目的性行為解釋為負反饋的必然結果,而一般系統論的目的觀則將目的性行為(特別是等結果性)解釋為準穩態的開放系統的一種性質。按照一般系統論的目的觀,目的性問題可以在自然科學內,在比控制論的反饋模式更寬的范圍中,得到合理的解釋。
弗蘭克(L.Frank)就此作了很好的說明:“有目的的行為的概念和目的論早已同一種神秘、自完善或尋求目的能力或最終原因(通常有超人或超自然的起源)相聯系。要更好地研究事件,科學思維必須放棄對目的的信仰和必須放棄這些目的論的行為的概念,而采用一種嚴格機械論和確定性的自然觀。這種機械論概念由于以下證明已經牢固樹立:宇宙的基礎是無名粒子的活動,它們無秩序地隨即運動,因為它們很多,就構成統計學上的秩序和規律性,如古典物理學和氣體的規律那樣。