一种新科学

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

相关

  • 乳酸钠林格注射液乳酸林格氏液(Lactated Ringer's solution,RL),又称乳酸钠溶液(sodium lactate solution)或哈特曼氏液(Hartmann's solution),是一种含有氯化钠、乳酸钠、氯化钾,以及氯化钙的水溶液。
  • New York, New YorkNew York, New York(纽约,纽约)可以指:
  • 京师同文馆京师同文馆,清末自强运动期间中国政府官办的外语人才学校,以教授西方语言为主的官办教育机构,也是中国近代最早成立的新式教育机构。京师同文馆成立于1862年8月24日,1900年停办,1
  • 袁州袁州,隋朝时设置的州。开皇十八年(598年)废安成郡,设袁州,辖宜春县、萍乡县和新喻县,治所在宜春县(江西省宜春市袁州区)。北宋开宝八年(975年),万载县由筠州划入。雍熙元年(984年),析宜春
  • 月震月震是指在月球发生的地震,是由阿波罗太空人发现的。月震比地球地震弱且次数较少。因为月球不像地球能迅速地减弱震动(可能由于缺少水),所以月震震动的时间通常比地震长。阿波罗
  • 理查德·泰勒 (数学家)理查德·泰勒(英语:Richard Taylor,1962年5月19日-),英国数学家,主要研究数论。他以前是安德鲁·怀尔斯的学生,返回普林斯顿大学协助怀尔斯完成费马大定理的证明。在证明费马大定理
  • 思想者90空对空导弹思想者90(波斯语:فکور ۹۰‎;英语:Fakour-90)是一款由伊朗所生产的空对空导弹,整体基于AIM-54“凤凰”。目前它只挂载在伊朗操作的F-14“雄猫”以上使用。该导弹是由伊朗陆军
  • 维克托·卡文迪什,第九代德文郡公爵维克托·克里斯蒂安·威廉·卡文迪什,第九代德文郡公爵,KG,GCMG,GCVO(Victor Christian William Cavendish, 9th Duke of Devonshire,1868年5月31日-1938年5月6日),英国政治人物。曾
  • 邬似珏邬似珏(1964年-),出生于浙江宁波,祖籍奉化,美国华人女数学家,密歇根大学数学教授。浙江宁波人,祖籍奉化。1964年出生。毕业于宁波第四中学。1979年考入北京大学数学系,年仅15岁。在北
  • 李向玉李向玉(1953年-),汉族,中华人民共和国政治人物、第十一届全国政协委员。于1999年至2018年期间担任澳门理工学院院长。2008年,当选第十一届全国政协委员,代表教育界,分入第四十组。20