Wolfram的2,3图灵机未必是普适的
互联网 / houtizong 发布于 3年前 105
在Foundations of Mathematics的邮件列表上，斯坦福大学已退休的Vaughan Pratt教授——计算机科学的先驱之一——指出最近完成的Wolfram 2,3图灵机是普适的证明存在基本错误。他说“假如用数字代替机器，用无限代替普适。如果x+y是无限的，x有限，那么y肯定是无限的。”Wolfram的2,3图灵机是线性的，不可能突破线性空间的局限。而早在半个世纪前，就证明了线性自动机不是普适的图灵机。Wolfram研究中心的Ed Pegg Jr.回应了Pratt博士的指控，并逐个反驳了Pratt博士的论点。
上一篇：USB 3.0标准即将到来
请勿发布不友善或者负能量的内容。与人为善，比聪明更重要！
技术博客集 - 网站简介：
前后端技术：
后端基于Hyperf2.1框架开发,前端使用Bootstrap可视化布局系统生成
网站主要作用：
1.编程技术分享及讨论交流，内置聊天系统;
2.测试交流框架问题，比如：Hyperf、Laravel、TP、beego;
3.本站数据是基于大数据采集等爬虫技术为基础助力分享知识，如有侵权请发邮件到站长邮箱，站长会尽快处理;
4.站长邮箱：[email protected];
文章归档
文章标签
友情链接
