一种新科学

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

相关

  • 别名国际人类基因组组织(The Human Genome Organisation,简称HUGO)是一个参与绘制人类基因组图谱的人类基因组计划的国际非政府组织。人类基因组组织作为一国际组织成立于1989年。
  • Oxford Dictionaries《牛津英语词典》(英语:Oxford English Dictionary,OED)是由牛津大学出版社出版的20卷词典,截至2005年11月30日,该词典收录了301,100主词汇,字母数目达3亿5千万个。词典亦收录了157
  • 希腊悲剧古希腊悲剧的真正起源已经不可参究。现在一般认为起源于酒神祭祀。在祭祀中,合唱队会表演歌舞祭祀酒神戴欧尼修斯,这种歌舞被称为“酒神颂”。“酒神颂”发展到后来,逐渐扩大到
  • 毫是中国传统数量单位和货币单位,在国际单位制词头中,milli-译为毫,如毫米(millimeter),台湾称毫米。毫作为现代货币单位时,位于分、角、分、厘之后。
  • 伊朗-美国关系自1980年以来,伊朗与美国没有正式的外交关系。巴基斯坦是伊朗在美国的利益代表国,而瑞士则是美国在伊朗的利益代表国。伊朗在巴基斯坦驻美大使馆内设置有代表伊朗在美利益的机
  • 爱德华·格林奈森爱德华·格林奈森(Eduard Grüneisen)(1877年5月26日 - 1949年4月5日)德国物理学家;以其姓名共同命名的方程:米-格林奈森状态方程。格林奈森生于吉比琛斯堔。格林奈森参数以其
  • 粉果小檗粉果小檗(学名:)是小檗科小檗属的植物,为中国的特有植物。分布于中国大陆的云南等地,生长于海拔2,700米的地区,多生长在疏林中,目前尚未由人工引种栽培。
  • 窦姓窦姓是中文姓氏之一,在《百家姓》中排名第39位。
  • 安德烈·勒·特罗克尔安德烈·勒·特罗克尔(法语:André Le Troquer;1884年10月27日-1963年11月11日),是法国政治家,法国国民议会议长、内政部长,曾因为参加一战而失去了右臂。
  • 齐一丁齐一丁(1920年7月-2001年11月19日),男,直隶(今河北)平山人,中华人民共和国政治人物,曾任中华人民共和国第四机械工业部副部长。