哲學研究論叢：馮‧諾伊曼的計算機科學哲學

第一章 計算機邏輯思想源流
第一節 萊布尼茨：偉大的夢想
第二節 從喬治‧布爾到弗雷格
一、喬治‧布爾：把邏輯變成數學
二、弗雷格：創建一種計算機程序語言
第三節 從庫爾特‧哥德爾到阿蘭-圖靈
一、哥德爾：計算機程序設計師
二、阿蘭‧圖靈：計算機邏輯理論的奠基人
第四節 馮‧諾伊曼：萊布尼茨夢想的實現者
一、馮‧諾伊曼其人
二、馮‧諾伊曼與「馮‧諾伊曼型機」
三、自動機：理論計算機模型

第二章 馮‧諾伊曼自動機理論中的畢達哥拉斯主義傾向
第一節 畢達哥拉斯主義的特點及其影響
第二節 「馮‧諾伊曼機」結構中體現的數學啟發原則
第三節 馮‧諾伊曼自動機模型中體現的抽象性原則
第四節 馮‧諾伊曼對自動機數學理論的追求

第三章 馮‧諾伊曼自動機理論中隱含的生物目的論思想
第一節 目的論思想的源流
一、亞里士多德的目的論思想
二、神學目的論與活力論
三、近代目的論
四、現代目的論
第二節 馮‧諾伊曼與目的論思想應用研究
一、對生物信息過程的探究
二、自然自動機與人工自動機之比較
三、馮‧諾伊曼計算機：現代目的論的機器實現
第三節 自增殖自動機：目的論的算法實現

第四章 馮‧諾伊曼自動機理論中的複雜性問題
第一節 馮‧諾伊曼對複雜性問題的關注與論述
一、複雜性問題概述
二、自動機的可靠性與複雜性
三、複雜性與信息論、熱力學
第二節 簡單規則導致複雜行為的自增殖自動機：元胞自動機
一、對空間、時間關係的形式化
二、元胞的各種「態」與轉換規則
第三節 馮‧諾伊曼自動機理論對複雜性問題的貢獻
一、邏輯深度
二、複雜性分析法——數值方法
三、自下而上的建構方法
四、複雜性的湧現

第五章 馮‧諾伊曼自動機理論之意義與影響
第一節 馮‧諾伊曼自動機理論對計算主義的影響
一、計算主義思想的理論淵源與發展
二、元胞自動機成為當代計算主義的根隱喻
第二節 馮‧諾伊曼計算機理論對研究複雜系統的方法論意義
一、為複雜性研究提供了技術手段
二、為複雜性研究提供了方法——數值方法
三、為複雜系統動力學提供了研究案例
第三節 馮‧諾伊曼自增殖自動機理論對人工生命研究的意義
一、從計算的角度理解生命
二、為人工生命研究提供了建構方法
三、為人工生命研究提供了研究路徑
結語
參考文獻
後記