Solidot 登录
[ 创建一个新帐号 ]
Wolfram的2,3 图灵机是普适的
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 图灵机研究奖设立，奖励给证明它是普适的或不是普适的人。现在我们可以确定地球就是一台超级电脑。
相关文章
Stephen Wolfram的44个猜想被证明为错误 1 条评论
[+]
Stephen Wolfram，是知名数学软件Mathematica创始人，同时也是为闭门造车的天才。他提出过许多猜想，其中最著名当属元细胞自动机了。现在MIT的勘误专家Evangelos Georgiadis已经证明他在《一种新科学（A New Kind of Science）》中提到的44个猜想为错误。论文发表在最新一期的Cellular Automata杂志上，Edwin Clark教授提供了一个PDF格式版本供参考。
Wolfram的2,3图灵机未必是普适的
[+]
在Foundations of Mathematics的邮件列表上，斯坦福大学已退休的Vaughan Pratt教授——计算机科学的先驱之一——指出最近完成的Wolfram 2,3图灵机是普适的证明存在基本错误。他说“假如用数字代替机器，用无限代替普适。如果x+y是无限的，x有限，那么y肯定是无限的。”Wolfram的2,3图灵机是线性的，不可能突破线性空间的局限。而早在半个世纪前，就证明了线性自动机不是普适的图灵机。
Wolfram研究中心的Ed Pegg Jr.回应了Pratt博士的指控，并逐个反驳了Pratt博士的论点。
This discussion has been archived.
No new comments can be posted.
声明:
下面的评论属于其发表者所有，不代表本站的观点和立场，我们不负责他们说什么。
R
(得分:2, 识见广博)( 最新日志: 2006年6月05日 11时35分 星期一 )
如上
(得分:1)( 最新日志: 2008年2月17日 23时47分 星期日 )
打算讀讀看，貌似沒有中文譯本？
另：才這幾分鐘時間，Google已經收入Solidot的這條新聞了。
Wii Sports 保齡球 289分~
恩
(得分:2, 有趣)re
(得分:1)( http://wanghui.org/ )
[-=TIMTOWTDI=-]
计算中的上帝
(得分:1)( 最新日志: 2007年12月26日 11时40分 星期三 )
刚刚看完这两本书
异曲同工阿
n.a.
(得分:1)