尽管潘沁编著的《冯·诺伊曼的计算机科学哲学》所讨论的是计算机科学哲学的深奥的哲理,却是用一种优关流畅的文字和深入浅出的笔法来表述的,因此可读性很强。它适合于关心计算机科学、自然辩证法、科学哲学、逻辑与科学方法论的研究者,乃至一切对此有兴趣的广大读者。希望读者诸君都会喜欢它!
潘沁编著的《冯·诺伊曼的计算机科学哲学》对计算机逻辑思想的来龙去脉作出了清晰的梳理,在正确把握冯·诺伊曼自动机理论的基本内涵的基础上,从中提炼出科学哲学思想,主要概括为:一是以“毕达哥拉斯主义思想”(宇宙的奥秘在于数学规律之中)为导向,构想自动机的理论模型,并且与后世的“计算主义思想”(宇宙=一台巨型计算机)接轨;二是贯彻亚里士多德“程序目的性”(由生物学哲学家迈尔提炼概括出来,并且认定为亚里士多德“目的论”中最精彩的成分)和维纳控制论的“现代目的论”思想,于逻辑机器之中。《冯·诺伊曼的计算机科学哲学》还较系统地探讨了冯·诺伊曼理论对复杂性研究的贡献,分析了这些思想对计算机科学以及相关科学的哲学启示。
第一章 计算机逻辑思想源流
第一节 莱布尼茨:伟大的梦想
第二节 从乔治·布尔到弗雷格
一、乔治·布尔:把逻辑变成数学
二、弗雷格:创建一种计算机程序语言
第三节 从库尔特·哥德尔到阿兰·图灵
一、哥德尔:计算机程序设计师
二、阿兰·图灵:计算机逻辑理论的奠基人
第四节 冯·诺伊曼:莱布尼茨梦想的实现者
一、冯·诺伊曼其人
二、冯·诺伊曼与“冯·诺伊曼型机”
三、自动机:理论计算机模型
第二章 冯·诺伊曼自动机理论中的毕达哥拉斯主义倾向
第一节 毕达哥拉斯主义的特点及其影响
第二节 “冯·诺伊曼机”结构中体现的数学启发原则
第三节 冯·诺伊曼自动机模型中体现的抽象性原则
第四节 冯·诺伊曼对自动机数学理论的追求
第三章 冯·诺伊曼自动机理论中隐含的生物目的论思想
第一节 目的论思想的源流
一、亚里士多德的目的论思想
二、神学目的论与活力论
三、近代目的论
四、现代目的论
第二节 冯·诺伊曼与目的论思想应用研究
一、对生物信息过程的探究
二、自然自动机与人工自动机之比较
三、冯·诺伊曼计算机:现代目的论的机器实现
第三节 自增殖自动机:目的论的算法实现
第四章 冯·诺伊曼自动机理论中的复杂性问题
第一节 冯·诺伊曼对复杂性问题的关注与论述
一、复杂性问题概述
二、自动机的可靠性与复杂性
三、复杂性与信息论、热力学
第二节 简单规则导致复杂行为的自增殖自动机:元胞自动机
一、对空间、时间关系的形式化
二、元胞的各种“态”与转换规则
第三节 冯·诺伊曼自动机理论对复杂性问题的贡献
一、逻辑深度
二、复杂性分析法——数值方法
三、自下而上的建构方法
四、复杂性的涌现
第五章 冯·诺伊曼自动机理论之意义与影响
第一节 冯·诺伊曼自动机理论对计算主义的影响
一、计算主义思想的理论渊源与发展
二、元胞自动机成为当代计算主义的根隐喻
第二节 冯·诺伊曼计算机理论对研究复杂系统的方法论意义
一、为复杂性研究提供了技术手段
二、为复杂性研究提供了方法——数值方法
三、为复杂系统动力学提供了研究案例
第三节 冯·诺伊曼自增殖自动机理论对人工生命研究的意义
一、从计算的角度理解生命
二、为人工生命研究提供了建构方法
三、为人工生命研究提供了研究路径
结语
参考文献
后记