一种新科学

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

相关

  • 胃镜上消化道内视镜((o)esophagogastroduodenoscopy、panendoscopy、Stomach/upper (GI) endoscopy、gastroscopy、(食道)胃(十二指肠)(内视)镜),一种医用内视镜,用于观察上消化道至
  • 直系军阀直系是北洋军阀派系之一,因势力范围主要在直隶省而得名。其主要领袖大多出身直隶及山东两省,且在许多政治理念上存在共鸣。主要代表人物有冯国璋、曹锟、吴佩孚、齐燮元、孙传
  • 航空航天工程学航空航天工程学(aerospace engineering)是航空工程学与航天工程学的总称,涉及航空飞行器与航天飞行器有关的工程领域。它包含固体力学、流体力学(特别是空气动力学)、航天动力学
  • 沃尔夫勒姆研究公司沃尔夫勒姆研究公司(英语:Wolfram Research, Inc.),也称 沃尔夫勒姆 公司,是当今世界科技计算软件的主要开发商之一。公司由科学家史蒂芬·沃尔夫勒姆创建。史蒂芬·沃尔夫勒姆
  • 柏纳德·李柏纳德·李(英语:Bernard Lee,1908年1月10日-1981年1月16日),英国电影演员。他以饰演头十一部007系列电影中詹姆斯·邦德的上司M而闻名,1981年因胃癌而去世,未能参与《只为你的双眼
  • 伍伟乐伍伟乐(Idea Ng,1982年5月6日-)2002亚洲电视训练班毕业。加入亚洲电视前,是位业余模特儿。现儿童节目主持。
  • 花轮英司花轮英司(7月6日-)是出身于日本山梨县的男性声优,隶属Kenyu Office事务所。1999年2000年2001年2002年2003年2004年2005年2006年2007年2008年2009年2010年2011年2012年2013年2014
  • 巴拉加特巴拉加特(Balaghat),是印度中央邦Balaghat县的一个城镇。总人口75061(2001年)。该地2001年总人口75061人,其中男性38628人,女性36433人;0—6岁人口8378人,其中男4316人,女4062人;识字率
  • 朱邦桢朱邦桢(16世纪-1645年),字恬宇,苏州府长洲县人,明朝、南明政治人物。朱邦桢是万历十九年(1591年)的举人,三十二年(1606年)成进士,获授新淦知县,提出容许船户解除当地民困,擒拿大盗数十人,又
  • 戴浩 (政治人物)戴浩(1391年-1483年),字彦广,号默庵,浙江鄞县(今宁波)人,明初政治人物,举人出身。永乐十八年(1420年)中庚子科浙江乡试举人。任山东东昌府通判,迁任广东雷州府知府,又改任湖广永州府(今湖南