一种新科学

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

相关

  • 威卡教威卡教(英语:Wicca)是一种在英国和美国盛行的、新兴的、多神论的、以巫术为基础的宗教。威卡教的信徒自称自己的宗教为“老宗教”(这个称呼可以追溯到弗里德里希·施莱格尔)或者
  • 巨乳巨乳又称豪乳、爆乳、大奶、巨奶、大波、波霸、海咪咪、大咪咪,用来形容拥有巨大的乳房的女性。对于乳房或罩杯必须要丰满到什么程度才能称之为巨乳,并没有一个绝对的定义。但
  • 气球炸弹气球炸弹(英文:Fire balloons/Balloon bombs,日文:風船爆弾),是日本在二战时期使用的一种武器,为气象学家荒川秀俊(日语:荒川秀俊)于1942年设计。荒川秀俊也因此被远东国际军事法庭裁
  • 第四西徐亚军团第四西徐亚军团(英语:Legio IV Scythica)古罗马军队建制名称。由马克·安东尼于公元前42年建立并存在至5世纪。该军团曾先后参加罗马-波斯战争、犹太战争等一系列相关军事活动,
  • 伊萨姆·沙拉夫伊萨姆·沙拉夫 (阿拉伯语:عصام عبد العزيز شرف‎, IPA: .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","
  • 李亚东李亚东(1902年-1950年12月1日),四川省西充县兴隆场人,民国政治人物,曾任立法院立法委员。第一届第一会期
  • 蕭洒蕭洒(1896年8月16日-1981年4月23日),字雅斋。河南省许昌县西北嘉禾寨萧庄人。民国37年(1948年)在河南省第三选区当选第一届立法委员。
  • 时标微积分在数学中,时标微积分是差分方程和微分方程的一种统一。时标微积分最初由德国数学家发明,应用于需要同时包含离散和连续的情况的模型的领域中。它为导数赋予了新的定义,使得如果
  • 虚拟设备虚拟设备(英语:Virtual Appliance),或译为虚拟电器、虚拟器件,是一类运行于虚拟化平台(如 VMware、Xen、VirtualBox)之上的、面向应用的虚拟机映像。虚拟设备是软件设备的子集,与其
  • 奥地利的玛丽亚·约瑟法 (1687-1703)奥地利的玛丽亚·约瑟法(德语:Maria Josepha von Österreich,1687年3月6日-1703年4月14日),神圣罗马皇帝利奥波德一世的第七女(第二、三女夭折,形同第五女)。1703年,玛丽亚·约瑟法因