一种新科学

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

相关

  • 鼠亚科详见内文鼠亚科(学名:Murinae)是鼠科之下五个亚科之一,分布于非洲和欧洲、亚洲以及大洋洲(例如:新几内亚大鼠属,Anisomys)的大、小鼠,包含至少519个物种、超过100个属。这庞大的物种
  • 柏林四强协定柏林四强协定(英语:Four Power Agreement on Berlin,又称柏林协议或柏林四方协议),是1972年6月3日由四个战时同盟国的大使协定的。四国外长,英国的亚历克·道格拉斯-休姆、苏联的
  • 杨霞杨霞(1977年1月8日-)是中国一位女子举重运动员,出生于湖南省保靖县,土家族。1988年,杨霞入选湘西自治州业余体校女子举重班成为首批队员。1989年11月人选湖南省女子举重队。1997年
  • 查尔斯·巴里查尔斯·巴里爵士,FRS(Sir Charles Barry,1795年5月23日-1860年5月12日),19世纪英格兰著名建筑师,今天英国议会大厦是他的代表作品之一。
  • 约翰·海因里希·弗里德里希·林克约翰·海因里希·弗里德里希·林克(德语:Johann Heinrich Friedrich Link)(1767年2月2日-1850年1月1日)是德国植物学家。 林克出生于希尔德斯海姆,在位于格丁根的汉诺威州立大学学
  • 季莫菲·尼古拉耶维奇·格拉诺夫斯基季莫菲·尼古拉耶维奇·格拉诺夫斯基(俄语:Тимофе́й Никола́евич Грано́вский,1813年3月9日-1855年10月4日),俄国历史学家、思想家、教育家,俄国中
  • 克丽丝·史达琳克丽丝·M·史达琳(英语:Clarice M. Starling)是汤玛斯·哈里斯所创作的悬疑小说系列《沉默的羔羊》和《人魔》中的虚构人物。在1991年电影《沉默的羔羊》中,克丽丝·史达琳由朱
  • 爱德华·哈洛威尔爱德华·哈洛威尔(Edward M."Ned" Hallowell)是一位专门研究注意力不足过动症(ADHD)的美国精神科医师,也是两本ADHD书籍《Driven to Distraction》(1994年,中文译名为《分心不是我
  • 奇斯霍姆山坐标:73°26′S 163°21′E / 73.433°S 163.350°E / -73.433; 163.350奇斯霍姆山是南极洲的山峰,位于维多利亚地的博克格雷温克海岸,属于南十字山脉的一部分,现时由南极条约体
  • 举人拣选知县夏�(?年-?年),字宣廷,号扶堂,湖广长沙府善化县人,由乾隆三年戊午科举人拣选知县,乾隆二十六年四月署四川顺庆府岳池县知县。是一位政治人物,明清时曾在四川顺庆府岳池县(位于