一种新科学

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

相关

  • 卢沟桥坐标:39°51′01″N 116°13′09″E / 39.8502497°N 116.2190658°E / 39.8502497; 116.2190658卢沟桥,原名广利桥,位于中华人民共和国北京市丰台区的永定河上,东距宛平城170米
  • 人格异常人格障碍(英语:personality disorders),或人格(性格)疾患/异常/违常。是精神疾病中,对于一群特定拥有长期而僵化思想及行为病患的分类。这类疾患常可因其人格和行为的问题而导致社会
  • 风筝冲浪风筝冲浪(Kiteboarding)是透过大型充气支架风筝连结到人体上,并脚踏风筝浪板或冲浪板在水面航行的运动。该运动仅发展短短十余年。是目前水上运动发展最快的运动。透过大型风筝
  • 陈郁陈郁可以是下列人物:
  • 有机氙化合物有机氙化合物(英语:Organoxenon compound)是指含有碳—氙键的有机化合物。最早制得有机氙化合物都是二氟化氙的衍生物,例如(C6F5)2Xe。第一种正四价的有机氙化合物于2000年制得
  • Just Fly Away《Just Fly Away》是日本女性创作歌手米仓千寻的第12张单曲。2000年2月2日由STARCHILD(King Records旗下公司)发行。《Just Fly Away》是动画《六门天外》采选当作主题歌曲使
  • 多林·戈伊安多林·戈伊安(Dorin Goian;1980年12月12日-)是罗马尼亚的一位足球运动员,在场上的位置是中后卫。他现在效力于希腊足球超级联赛球队阿斯特拉斯特里波利斯足球俱乐部。他也代表罗
  • 米歇尔·格拉沃格米歇尔·格拉沃格(英语:Michael Glawogger,1959年12月3日-2014年4月23日),是一名奥地利电影导演、制片人、演员。他最著名的电影包括有《工人炼狱(英语:Workingman's Death)》、《妓
  • 伊朗伊斯兰共和国通讯社伊朗伊斯兰共和国通讯社(خبرگزاري جمهوري اسلامي ايران),简称伊通社,是伊朗的官方通讯社之一,前身为1934年成立的波斯通讯社,1979年伊朗伊斯兰革命后改
  • Intel Core 2处理器列表本列表为Intel Core 2系列各处理器的技术资料,有关Intel Core系列各处理器的技术资料,请参阅Intel Core 处理器列表。