更改

跳到导航 跳到搜索
大小无更改 、 2020年4月18日 (六) 16:40
第183行: 第183行:  
[[File:CA_rule110s.png|200px|right|thumb|规则110]]
 
[[File:CA_rule110s.png|200px|right|thumb|规则110]]
 
[[File:表格110.png|400px|center]]
 
[[File:表格110.png|400px|center]]
<br>像《[[康威的生命游戏 Conway's Game of Life]]》一样,第110条元胞自动机规则表现出Wolfram所称的第4类行为:它既不是完全随机的,也不是完全周期重复的。局部结构以各种看起来复杂的方式出现并相互作用。 马修·库克 Matthew Cook在1994年作为Wolfram的研究助手在《[[一种新科学 A New Kind of Science]]》的发展过程中证明了其中一些结构足够丰富以支持[https://en.wikipedia.org/wiki/Universal_Turing_machine 图灵机的普遍性 Universal_Turing_machine ]。这个结果很有趣,因为第110条元胞自动机规则是一个非常简单的一维系统,难以进行工程设计以执行特定行为。因此,该结果为Wolfram的观点提供了重要的支持,即4类系统天生就具有普遍性。1998年,库克在[[圣塔菲研究所 Santa Fe Institute]]召开了有关元胞自动机的会议,但该证明被Wolfram阻止在会议上提出,因为Wolfram不想在《[[一种新科学 A New Kind of Science]]》出版之前公开证明。<ref name=" Giles ">Giles, Jim (2002). "What Kind of Science is This?". Nature. 417 (6886): 216–218. Bibcode:2002Natur.417..216G. doi:10.1038/417216a. PMID 12015565.</ref>因此,2004年,在库克提出该证明十年后,终于在Wolfram的[[复杂系统 Complex Systems]]杂志(第15卷,第1期)上发表。第110条元胞自动机规则是一些最小型通用图灵机的基础。<ref name="Weinberg ">{{cite journal  
+
<br>像《[[康威的生命游戏 Conway's Game of Life]]》一样,第110条元胞自动机规则表现出Wolfram所称的第4类行为:它既不是完全随机的,也不是完全周期重复的。局部结构以各种看起来复杂的方式出现并相互作用。 马修·库克 Matthew Cook在1994年作为Wolfram的研究助手在《[[一种新科学 a New Kind of Science]]》的发展过程中证明了其中一些结构足够丰富以支持[https://en.wikipedia.org/wiki/Universal_Turing_machine 图灵机的普遍性 Universal_Turing_machine ]。这个结果很有趣,因为第110条元胞自动机规则是一个非常简单的一维系统,难以进行工程设计以执行特定行为。因此,该结果为Wolfram的观点提供了重要的支持,即4类系统天生就具有普遍性。1998年,库克在[[圣塔菲研究所 Santa Fe Institute]]召开了有关元胞自动机的会议,但该证明被Wolfram阻止在会议上提出,因为Wolfram不想在《[[一种新科学 a New Kind of Science]]》出版之前公开证明。<ref name=" Giles ">Giles, Jim (2002). "What Kind of Science is This?". Nature. 417 (6886): 216–218. Bibcode:2002Natur.417..216G. doi:10.1038/417216a. PMID 12015565.</ref>因此,2004年,在库克提出该证明十年后,终于在Wolfram的[[复杂系统 Complex Systems]]杂志(第15卷,第1期)上发表。第110条元胞自动机规则是一些最小型通用图灵机的基础。<ref name="Weinberg ">{{cite journal  
 
|title=Is the Universe a Computer?
 
|title=Is the Universe a Computer?
 
|author1=Weinberg, Steven
 
|author1=Weinberg, Steven
1,526

个编辑

导航菜单