一种新科学

✍ dations ◷ 2025-12-11 09:35:03 #2002年书籍,细胞自动机,系统科学文学,自组织,计算机科学与技术书籍,复杂系统理论,数学与艺术,系统理论

《一种新科学》由斯蒂芬·沃尔夫勒姆所著,出版于2002年。它包括关于计算系统的实证和系统研究,如元胞自动机。斯蒂芬·沃尔夫勒姆把这些系统称为简单的程序,并且认为适用于简单程序研究的科学哲学和方法与其他科学领域相关。

《一种新科学》的理论是双重的:即计算的性质必须通过实验来探索,而且这些实验对于理解自然世界也有重要的影响。从20世纪30年代诞生以来,计算就主要来自两个传统:工程学,旨在使用计算建立实际系统;以及数学,其目的是证明有关计算的定理(尽管在20世纪70年代,计算作为一门学科已经被形容为数学、工程学和实证、科学传统的交叉学科)).

斯蒂芬·沃尔夫勒姆引入了第三个主要的传统,这是对计算系统的系统、实证的调查研究。这也是这本书的标题中“新”和“科学”两个词的起源。然而,在对计算系统的科学调查研究的过程中,斯蒂芬·沃尔夫勒姆最终得出这样一个结论,即我们需要一个全新的方法。传统数学的描述没有看到这些系统本身有意义的复杂性。通过将实验和理论定位相结合,本书介绍了一种新的方法,斯蒂芬·沃尔夫勒姆认为这是使科学在计算系统的带动下共同进步的一种最现实的方式。这种方法的差异使得“一种新科学”成为科学的一“种”,并且允许它的原则在各个领域广泛使用。

沃尔夫勒姆的《一种新科学》的基本主题是研究简单的抽象规则——特别是,基本计算机程序。在几乎任何类型的计算系统中,人们可以很快地在最简单的情况中找到具有相当复杂性的实例。这看起来似乎是对的,无论该系统具有什么样的组成部分或者设置。本书中探讨的系统包含:一维、二维和三维空间中的元胞自动机;移动自动机(mobile automata);一维和二维空间中的图灵机;几个类型的替代和网络系统(substitution and network systems);原始递归函数(primitive recursive functions);嵌套递归函数(nested recursive functions);组合子(combinators);标记系统(tag systems);寄存器机(register machines);加法逆转(reversal-addition);和一些其他系统。对于可以称为简单的程序,有几个标准:

相关

  • 参考系参考系(又称参照系、参考坐标),在物理学中指用以测量并记录位置、定向以及其他物体属性的坐标系;或指与观测者的运动状态相关的观测参考系;又或同指两者。参考系有许多种,所以在提
  • 华盛顿首都South Carolina Stingrays (ECHL)华盛顿首都队(Washington Capitals)是位于美国华盛顿特区的国家冰球联盟队伍,隶属于国家冰球联盟(NHL)的东大区(the Eastern Conference(英语:Easte
  • 维基词典维基词典(英语:Wiktionary),是维基百科的姊妹工程,它的目标是创建一个基于所有语言的自由的词典。该项目于2002年12月12日启动,发起人是维基人Daniel Alston。维基词典旨在收录字
  • 61<< 60616263646566676869>> 61是60与62之间的自然数。6月1日是国际儿童节 人们习惯称“6.1”儿童节61岁可称作还历
  • 安康社区安康社区座落于文山区兴隆路上的“安康平宅”社区,是台北市最大的平宅社区,加上房屋外观破旧不堪,长期以来被外界贴上脏乱、贫困、犯罪等污名化标签。属性为提供低收入户免费
  • 林煇焜林煇焜(1902年─1959年),台北淡水(今新北市淡水区)人,曾任淡水信用合作社专务理事、台北市政府机要秘书,著有台湾最早的新闻连载小说《争へぬ运命》(命运难违)。林煇焜出生自淡水望族
  • 翁闹翁闹(1910年2月21日-1940年11月21日),号杜夫,台湾日治时期作家,彰化社头人。1910年(明治43年),翁闹出生于台中厅武西堡关帝庙社二百六十四番地,本是陈纣、陈刘春家四男,五岁时被彰化社
  • 菲勒塔斯菲勒塔斯(英语:Philitas of Cos),(前340年-前285年)。古希腊科斯的诗人与学者,托勒密二世即位前的老师。泽诺多图斯与塞奥克里图斯均为其学生。他写作爱情诗并以挽歌闻名。他的作品
  • 冈山县旗冈山县旗(日语:岡山県旗/おかやまけんき )是日本的47面都道府县旗之一。该条目是对冈山县旗以及冈山县章(日语:岡山県章/おかやまけんしょう)的解说。1967年为纪念地方自治法实施20
  • 日本围棋千胜棋士列表以下是日本围棋职业生涯中达成共计1000胜以上的棋士。