冯·诺伊曼的计算机科学哲学

第一章 计算机逻辑思想源流 第一节 莱布尼茨：伟大的梦想 第二节 从乔治·布尔到弗雷格 一、乔治·布尔：把逻辑变成数学 二、弗雷格：创建一种计算机程序语言　第三节 从库尔特·哥德尔到阿兰·图灵 一、哥德尔：计算机程序设计师 二、阿兰·图灵：计算机逻辑理论的奠基人　第四节 冯·诺伊曼：莱布尼茨梦想的实现者 一、冯·诺伊曼其人 二、冯·诺伊曼与“冯·诺伊曼型机” 三、自动机：理论计算机模型第二章 冯·诺伊曼自动机理论中的毕达哥拉斯主义倾向　第一节 毕达哥拉斯主义的特点及其影响　第二节 “冯·诺伊曼机”结构中体现的数学启发原则　第三节 冯·诺伊曼自动机模型中体现的抽象性原则　第四节 冯·诺伊曼对自动机数学理论的追求第三章 冯·诺伊曼自动机理论中隐含的生物目的论思想　第一节 目的论思想的源流 一、亚里士多德的目的论思想 二、神学目的论与活力论 三、近代目的论 四、现代目的论　第二节 冯·诺伊曼与目的论思想应用研究 一、对生物信息过程的探究 二、自然自动机与人工自动机之比较 三、冯·诺伊曼计算机：现代目的论的机器实现　第三节 自增殖自动机：目的论的算法实现第四章 冯·诺伊曼自动机理论中的复杂性问题　第一节 冯·诺伊曼对复杂性问题的关注与论述 一、复杂性问题概述 二、自动机的可靠性与复杂性 三、复杂性与信息论、热力学　第二节 简单规则导致复杂行为的自增殖自动机：元胞自动机　……第五章　冯·诺伊曼自动机理论之意义与影响结参考文献后记

　　本书对计算机逻辑思想的来龙去脉作出了清晰的梳理，在正确把握冯诺伊曼自动机理论的基本内涵的基础上，从中提炼出科学哲学思想，主要概括为：一是以“毕达哥拉斯主义思想”（宇宙的奥秘在于数学规律之中）为导向，构想自动机的理论模型，并且与后世的“计算主义思想”（宇宙=一台巨型计算机）接轨；二是贯彻亚里士多德“程序目的性”（由生物学哲学家迈尔提炼概括出来，并且认定为亚里士多德“目的论”中最精彩的成分）和维纳控制论的“现代目的论”思想，于逻辑机器之中。本书还较系统地探讨了冯诺伊曼理论对复杂性研究的贡献，分析了这些思想对计算机科学以及相关科学的哲学启示。【作者简介】潘沁，女，1974年出生，湖北荆州人，2003年毕业于华中师范大学科技哲学专业，获哲学硕士学位，2010年毕业于南开大学哲学院，获哲学博士学位，现为桂林电子科技大学副教授,主要从事科学方法论研究。参著《科学思维的艺术》、《科学辩护的沉思——科学确证与科学接受的方法论辩护》等。发表多篇关于科学方法论、逻辑学、计算机科学哲学文章。