Solidot

Moses 写道 "Wolframscience.com 宣布来自英国伯明翰的一名 20 岁大学生 Alex Smith 已经证明 Wolfram 的 2,3 图灵机是通用的。" 他因此独得了 Wolfram 图灵机研究奖的 25000美元奖金。你可以在这里阅读证明的 PDF 版本，以及其他相关报导。" 数学软件Mathematica的创始人Stephen Wolfram在2002年出版了一本新书《一种新科学》（A New Kind of Science，英文电子版），书中他设定了一种特殊的图灵机：反复运用最简单的法则，最后会发展成为一个可解释宇宙现象的复杂模型。2007年5月，Wolfram 2,3 图灵机研究奖设立，奖励给证明它是普适的或不是普适的人。现在我们可以确定地球就是一台超级电脑。