一种新科学

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

相关

  • 公元前4500年在前5千纪(或称前第5个千年)时代,亚洲、北非和欧洲南部的人类已经广泛从事农业生产,在小亚细亚半岛城市已经普遍建立,铜器开始使用,车轮被发明出来,畜牧业在欧亚大陆逐渐普及,中国进
  • 阿尔伯特·爱因斯坦奖阿尔伯特·爱因斯坦奖(英语:Albert Einstein Award)是一个理论物理学奖项,它旨在奖赏自然科学领域的杰出成就,由刘易斯和罗莎·斯特劳斯纪念基金赞助。它被设立以纪念阿尔伯特·
  • 青绿湿伞青绿湿伞(学名:),俗称鹦鹉伞菌(Parrot Toadstool)和鹦鹉蜡盖(Parrot Waxcap),属于蜡伞科多彩菌属,广泛地分布于世界各地。青绿湿伞原本的学名为“”。青绿湿伞拥有两个亚种分类:“”和
  • 徐如珂清·舒时贞绘徐如珂像徐如珂(1562年-1626年),字季鸣,号念阳,直隶苏州府吴县(今属江苏省苏州市)人。明朝官员。万历二十三年(1595年)乙未科进士。授刑部江西司主事,升本部广东司员外郎、
  • 行星状星云行星状星云是恒星演化至老年的红巨星末期,气体壳层向外膨胀并被电离,形成扩大中的发射星云,经常以英文的缩写“PN”或复数的“PNe”来表示。“行星状星云”这个名称源自1780年
  • BankuBanku是一道加纳料理,为白色、平滑的面团,由玉米粉和木薯粉以一定比例和水混合成生面团后,经发酵后烹煮而成,常与汤、炖菜、辣椒酱与鱼一起食用。这道菜特别盛行于加纳南部的埃
  • 伊朗农业部伊朗政府与政治 系列条目伊朗农业部(波斯语:وزارت جهاد کشاورزی‎)在2001年建立,是负责监督伊朗农业的政府部门。这个部门在以往被称为圣战建设组织,它在2001
  • 虞洽卿虞洽卿(1867年6月19日-1945年4月26日),幼名瑞岳,名和德,字洽卿,浙江宁波人,是清末民初的知名企业家和社会活动家。1867年6月19日(清同治六年阴历五月十八日卯时),虞和德(字洽卿)出生在浙
  • 1925年世界大赛< 1924年1926年 >1925年的世界大赛是由代表美联的华盛顿参议员与代表国联的匹兹堡海盗对决。最后海盗以4胜3败击败参议员,成为史上第一支在1胜3败逆境中拿下3连胜夺冠的大
  • 塔姆鲍尔-丘姆-阿赫马达巴德塔姆鲍尔-丘姆-阿赫马达巴德(Tambaur-cum-Ahmadabad),是印度北方邦Sitapur县的一个城镇。总人口19683(2001年)。该地2001年总人口19683人,其中男性10388人,女性9295人;0—6岁人口429