一种新科学

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

相关

  • 蘑菇蕈类(注音:ㄒㄩㄣˋㄌㄟˋ;拼音:xùn lèi),通称蘑菇、菇类,是大型、高等的真菌,子实体通常肉眼可见。菌丝具横隔壁,将菌丝分隔成多细胞。不过,蘑菇一词通常是对蘑菇属(Agaricus)部分食
  • 湖州市湖州市(吴语湖州音:Ghẽw Cieu),简称湖,古称乌程、吴兴,是中华人民共和国浙江省下辖的地级市,位于浙江省北部。市境东邻嘉兴市,南接杭州市,西界安徽省宣城市,北临太湖与江苏省无锡市、
  • Telemundo世界电视网 (西班牙语:Telemundo) 是NBC环球(NBCUniversal)在美国所拥有的西班牙语电视网络。通过当地的广播电台,有线电视和卫星网络在142个市场的西语裔和拉美裔住宅区达到58%
  • 城关区 (拉萨市)城关区(藏语:.mw-parser-output .uchen{font-family:"Qomolangma-Dunhuang","Qomolangma-Uchen Sarchen","Qomolangma-Uchen Sarchung","Qomolangma-Uchen Suring","Qomolangm
  • 娜芙蒂蒂胸像娜芙蒂蒂胸像是一尊有3365年历史,以石灰岩与灰泥雕塑成的彩绘人像。这座雕像所刻的是古埃及法老阿肯那顿的大王后(the Great Royal Wife)娜芙蒂蒂。因为这座雕像的复制品是最广
  • 沃尔特·布莱特沃尔特·布莱特(Walter Bright),著名程序员,创立了D语言。他作为主要的开发人员开发了Zortech C++,世界上第一款直接编译C++源代码到机器码的编译器,而不需要先翻译成C代码。Zorte
  • 伍蠡甫伍蠡甫(1900年9月-1992年10月),艺名敬庵,字叔潜,男,广东新会人,生于上海,中国国画家、美术理论家、翻译家、文学家。文学翻译家伍光建之子。伍蠡甫早年就读于上海青年会中学、上海圣
  • 伊地知幸介伊地知 幸介(いぢち こうすけ、日本安政元年1月6日(1854年2月3日) - 大正6年(1917年1月23日)萨摩国出身之陆军军人。爵位为男爵。最终阶级为陆军中将。萨摩藩士伊地知直右卫门的
  • 黄万波黄万波(1933年-),重庆市忠县人。是一位中国考古学家及人类学家,中国科学院古脊椎动物与古人类所研究员,重庆龙骨坡巫山古人类研究所所长,重庆中国三峡博物馆特约研究员、重庆三峡古
  • 李昞 (北魏)李昞(491年-528年5月17日),字仁曜,陇西郡狄道县(今甘肃省定西市临洮县)人,出自陇西李氏姑臧房,北魏散骑常侍、骠骑大将军、开府仪同三司、高平宣景男李虔第二子,北魏官员。李昞以高阳