一种新科学

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

相关

  • 克勒默赫伯特·克勒默(德语:Herbert Kroemer,1928年8月25日-),美籍德裔物理学家,2000年因将半导体异质结构发展应用于高速光电子元件中,而获得诺贝尔物理学奖。赫伯特·克勒默1928年出生在
  • 四配 颜回 · 孟子 · 曾参 · 孔伋日本 藤原惺窝 · 林罗山 · 室鸠巢 新井白石 · 雨森芳洲朝鲜 薛聪 · 权近 · 吉再 · 安珦 · 李穑 李滉 · 王仁 · 李
  • 1936年奥运会1936年奥运会可以指:
  • AMD 10hAMD 10h处理器家族是美商超微(AMD)研发并推出市场的一代中央处理器微架构,旧称为K10。在K10微架构尚未推出前,曾有媒体报导K10为已取消的计划,其后超微发言人否认此说法,宣布K10将
  • 周凤周凤可以指:
  • 伦敦方程伦敦方程把超导体的电流与其里面及周围的电磁场联系起来,这两条方程是由弗里茨与海因茨·伦敦两兄弟于1935年提出的。它们可被视为超导现象最简单的有效描述,所以几乎所有介绍
  • 状态原则状态原则(英语:state postulate)是热力学中的一个原则,说明一平衡的热力学系统需要用多少热力学状态来定义。状态原则为:简单可压缩系统是指系统本身静止,也没有受到电磁力、重力
  • 约翰·贝鲁西约翰·亚当·贝鲁西(英语:John Adam Belushi,1949年1月24日-1982年3月5日)是一名美国男演员、喜剧演员和歌手,同时也是NBC喜剧小品节目《周六夜现场》的七位元老之一。在芝加哥的
  • 东岭莫氏宗祠东岭莫氏宗祠,位于中国广东省湛江市雷州市白沙镇东岭村,为湛江市雷州市的一个市级文物保护单位,类型为古建筑,公布时间为1999年9月15日。东岭莫氏宗祠的历史年代为明代。
  • 郭纯郭纯(1370年-1444年),原名文通,明成祖赐名纯,遂以文通为字,号朴庵,浙江永嘉人,明初宫廷画家。历事永乐、洪熙、宣德、正统四朝,备受恩宠。郭纯于永乐二年(1404年)进入宫廷,永乐十二年(1414