新書推薦:

《
高能量家庭
》
售價:NT$
153.0

《
汉晋士大夫结党交游研究
》
售價:NT$
296.0

《
考古何以可能?——考古学理论的对话
》
售價:NT$
449.0

《
大学问·昌明国粹:柳诒徵及其弟子之学术
》
售價:NT$
454.0

《
好天气(茅盾文学奖得主苏童《黄雀记》后历时11年长篇新作)
》
售價:NT$
403.0

《
有兽焉.10
》
售價:NT$
305.0

《
人文传统一(“人文传统”系列丛书第七版,人文传统1:史前时期—中世纪,回溯人类文明的源头)
》
售價:NT$
653.0

《
西瓜船
》
售價:NT$
255.0
|
內容簡介: |
本书对计算机逻辑思想的来龙去脉作出了清晰的梳理,在正确把握冯?诺伊曼自动机理论的基本内涵的基础上,从中提炼出科学哲学思想,主要概括为:一是以“毕达哥拉斯主义思想”(宇宙的奥秘在于数学规律之中)为导向,构想自动机的理论模型,并且与后世的“计算主义思想”(宇宙=一台巨型计算机)接轨;二是贯彻亚里士多德“程序目的性”(由生物学哲学家迈尔提炼概括出来,并且认定为亚里士多德“目的论”中最精彩的成分)和维纳控制论的“现代目的论”思想,于逻辑机器之中。本书还较系统地探讨了冯?诺伊曼理论对复杂性研究的贡献,分析了这些思想对计算机科学以及相关科学的哲学启示。
|
關於作者: |
潘沁,女,1974年出生,湖北荆州人,
2003年毕业于华中师范大学科技哲学专业,获哲学硕士学位,2010年毕业于南开大学哲学院,获哲学博士学位,现为桂林电子科技大学副教授,主要从事科学方法论研究。参著《科学思维的艺术》、《科学辩护的沉思——科学确证与科学接受的方法论辩护》等。发表多篇关于科学方法论、逻辑学、计算机科学哲学文章。
|
目錄:
|
第一章 计算机逻辑思想源流
第一节 莱布尼茨:伟大的梦想
第二节 从乔治·布尔到弗雷格
一、乔治·布尔:把逻辑变成数学
二、弗雷格:创建一种计算机程序语言
第三节 从库尔特·哥德尔到阿兰·图灵
一、哥德尔:计算机程序设计师
二、阿兰·图灵:计算机逻辑理论的奠基人
第四节 冯·诺伊曼:莱布尼茨梦想的实现者
一、冯·诺伊曼其人
二、冯·诺伊曼与“冯·诺伊曼型机”
三、自动机:理论计算机模型
第二章 冯·诺伊曼自动机理论中的毕达哥拉斯主义倾向
第一节 毕达哥拉斯主义的特点及其影响
第二节 “冯·诺伊曼机”结构中体现的数学启发原则
第三节 冯·诺伊曼自动机模型中体现的抽象性原则
第四节 冯·诺伊曼对自动机数学理论的追求
第三章 冯·诺伊曼自动机理论中隐含的生物目的论思想
第一节 目的论思想的源流
一、亚里士多德的目的论思想
二、神学目的论与活力论
三、近代目的论
四、现代目的论
第二节 冯·诺伊曼与目的论思想应用研究
一、对生物信息过程的探究
二、自然自动机与人工自动机之比较
三、冯·诺伊曼计算机:现代目的论的机器实现
第三节 自增殖自动机:目的论的算法实现
第四章 冯·诺伊曼自动机理论中的复杂性问题
第一节 冯·诺伊曼对复杂性问题的关注与论述
一、复杂性问题概述
二、自动机的可靠性与复杂性
三、复杂性与信息论、热力学
第二节 简单规则导致复杂行为的自增殖自动机:元胞自动机
……
第五章 冯·诺伊曼自动机理论之意义与影响
结
参考文献
后记
|
|