最简单的“通用计算机”赢得学生25,000美元

日期:2017-10-02 01:11:42 作者:张彩 阅读:

吉姆·吉尔斯(Jim Giles)20岁的计算机科学本科生通过证明一个简单的数学计算器可以用作“通用计算机器”,获得了25,000美元的数学奖证据涉及一种称为图灵机的数学计算器,这是一个最初由数学家阿兰·图灵在20世纪30年代研究过的概念某些图灵机是“通用计算机” - 给予足够的时间和记忆,它们几乎可以解决任何数学问题数学家斯蒂芬·沃尔夫勒姆(Stephen Wolfram)在其2002年出版的“新种科学”一书中讨论了最简单的图灵机,这是一种在计算中仅使用三种不同符号的元胞自动机 2007年5月,Wolfram宣布向任何能够证明这款图灵机也具有普及性的人提供25,000美元的奖励已知其他简单的图灵机具有这种特性,但在这些情况下,证据由专业数学家提供正在英国伯明翰大学学习电子和计算机的亚历克斯史密斯设计的证据涉及证明该机器相当于另一种已知为通用计算机的数学设备解决方案将给数学家留下深刻印象,但Wolfram表示,这不仅仅是理论上的兴趣图灵机是分子自动机的松散模型 - 由DNA和其他生物分子构建的简单计算设备 Wolfram表示,即便是最简单的机器也能够成为通用计算机,这表明同样简单的分子版本有朝一日可能成为新型计算机的基础史密斯在假期期间解决了这个问题,他说他最初对自己的机会持怀疑态度他在告诉母亲有关奖品后开始工作 - 她建议他去做,因为这是“他擅长的那种”这可能是轻描淡写,因为史密斯知道20种不同的编程语言,包括他描述为“深奥”的六种语言 Wolfram承认不知道奖金需要多长时间,并且当今年6月回答时,问题解决的速度并不是他发现令人惊讶的,但是他的年龄和专业知识优胜者他在自己的个人博客上写道:“我们也在寻找最简单的通用图灵机器,