一种新科学

✍ dations ◷ 2025-12-07 17:14:58 #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);和一些其他系统。对于可以称为简单的程序,有几个标准:

相关

  • 透析透析是利用半透膜将小分子和大分子分离的一种技术。在医学中,透析被用来代替因为肾衰竭而丧失功能的肾,俗称“洗肾”。透析可以被用来救助突然的暂时丧失其肾功能的病人(急性肾
  • 费林加伯纳德·卢卡斯·“本”·费林加(荷兰语:Bernard Lucas "Ben" Feringa,1951年5月18日-),荷兰化学家、格罗宁根大学教授,拥有中华人民共和国永久居留权,2016年诺贝尔化学奖得主。费林
  • 叶立德
  • 大汉山国家公园大汉山国家公园(马来语:Taman Negara,意思就是“国家公园”)位于马来西亚半岛,成立于1938年/1939年,当时名为乔治五世国家公园。马来西亚独立后,更其名为“国家公园”,因大汉山座落
  • 雷诺5雷诺5是法国汽车制造商雷诺在1972年至1985年间生产的一款紧凑型轿车。并于1976年至1983年以Le Car的名义在北美发售。总共制造了550万辆,并衍生出四门轿车版本雷诺7。第一代
  • 流体静力平衡流体静力平衡 (法文: Équilibre hydrostatique; 德文: Hydrostatisches Gleichgewicht; 英文:Hydrostatic equilibrium)也称为静力学平衡、静水压平衡,是指当流体处于相对静止,
  • 中博史中博史(1960年11月19日-)是日本的男声优,以前待过Baobab学园(现:Visual Space演员培养所)是第三期的学生,多年效力于Production baobab和Media Force,现所属为贤Production。大分县出
  • 国家会展中心 (上海)国家会展中心(上海)(英文:National Exhibition and Convention Centre (Shanghai))位于中华人民共和国上海市虹桥商务区,由中华人民共和国商务部和上海市人民政府联合建设。于2014
  • 李森 (天顺进士)李森,字时茂,山东历城人。明朝官员、同进士出身。天顺元年(1457年),登进士,授户科给事中。明宪宗继位后,上疏请禁朝觐官科敛征求,为民害者。得到吏部尚书王翺支持,并得到批准。之后请
  • 大怪兽决斗 加美拉对巴鲁刚《大怪兽决斗 加美拉对巴鲁刚》(原题:大怪獣決闘 ガメラ対バルゴン)是1966年上映的日本电影,加美拉系列电影的第二部。