一种新科学

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

相关

  • 聚酯纤维聚酯(英语:Polyester)是一类在其主链上含有酯基官能团的聚合物。虽然聚酯有很多种,但是“聚酯”一词通常指的是聚对苯二甲酸乙二酯(PET)。聚酯纤维是由饱和的二元酸与二元醇通过缩
  • 松山区坐标:25°02′59″N 121°34′38″E / 25.049698°N 121.577206°E / 25.049698; 121.577206松山区是台湾台北市的市辖区,位于台北市中部略偏东北。区内有松山机场、台北小巨
  • 惠宗元惠宗妥懽贴睦尔(蒙古语: ᠲᠣᠭᠠᠨᠲᠡᠮᠦᠷ,鲍培转写:toγan temür,西里尔字母:Тогоонтөмөр;1320年5月25日-1370年5月23日),清刊《元史》、清修《续资治通鉴》改译托
  • 王崧王崧(1752年-1837年),原名藩,字伯高,一字乐山,号酉山。云南浪穹(今大理白族自治州洱源县)人。父王梅村,藏书甚富。王崧幼承庭训,拜檀萃为师。乾隆三十年(1765年),乡试第二名,嘉庆四年(1799年
  • 苏萨·辛格·拉其普特苏萨·辛格·拉其普特(印地语:सुशांत सिंह राजपूत,英语:Sushant Singh Rajput,1986年1月21日-2020年6月14日)是印度男演员,主要演出电视剧及印地语宝莱坞电影。生于
  • 蔡先金蔡先金(1965年2月-),江苏宿迁人,中国先秦文化与文学、高等教育管理学者,聊城大学原校长。现任山东省人民政府外事办公室主任。在吉林大学获得历史学博士学位后,入山东大学文史哲研
  • 陈沆陈沆(1785年-1826年),原名学濂,字太初,号秋舫。湖北蕲水(今浠水县)人。生于清乾隆五十年(1785年),嘉庆二十四年(1819年)中状元,授翰林院修撰。卒于道光六年(1826年)。有《简学斋诗存》。弟陈
  • 大件垃圾大件垃圾或大型废弃物,指体积较大的垃圾,包括家庭笨重的家具,由于其规模或性质不符合经批准的垃圾容器,因此不能与生活垃圾一起投入普通生活垃圾箱。在运送上,大件垃圾将被区别于
  • 贝里琉号两栖突击舰贝里琉号两栖突击舰(USS Peleliu LHA-5)是一艘隶属于美国海军的直升机登陆突击舰(本身是两栖突击舰的一类),是塔拉瓦级(英语:Tarawa-class amphibious assault ship)的五号舰。由位
  • 巴塞尔问题巴塞尔问题是一个著名的数论问题,这个问题首先由皮耶特罗·门戈利(英语:Pietro_Mengoli)在1644年提出,由莱昂哈德·欧拉在1735年解决。由于这个问题难倒了以前许多的数学家,欧拉一