,这一切有什么意义呢?
意义就是,数学家和计算学家们渐渐弄清楚了,虽然形式、语言、系统各有不同,现代计算机本质上都和图灵机等价——现代计算机能完成的任务,图灵机也一定能完成;图灵机做不到的事情,现在计算机也做不到。
这就叫可计算性。
不过这都是上个世纪的研究了。
从1936年开始,其后几年,算是奠定了现代计算机的理论基础,此后就是工业化、微型化、规模集成、摩尔定律……只有工程上的突破,再没有理论上的创新了。
但是,真的如此吗?
科学家们好不容易开辟了一个领域,会满足于取得的成绩,就此踯躅不前?
不存在的!
事实上没有多久,科学家们就对图灵描述的可计算性不满足了。开始思考有没有比图灵机更强的,可以实现图灵机无法计算的难题的新模型。
也就是超计算模型!
量子计算机就是其中一种。
不过其计算能力本质上还是与图灵机等价,只是计算复杂度要优秀的多。可以把指数类难题降级到多项式时间内。
这就结束了吗?
当然不会!
除了量子计算机,还有阿兰·图灵本人提出的,通过喻示“黑箱”来搞定“判定性问题”的喻示机。
而之后的大部分超计算模型,也都是基于喻示机的概念——通过将其他特性引入图灵机,使其不受先前的计算能力限制。
所以阿兰·图灵伟大,被誉为“计算机科学之父”、“人工智能之父”,同样十分著名的冯·诺依曼只是“现代计算机之父”。
实在是二人的关系就仿佛提出了质能方程的爱因斯坦,与组织建造了原子弹的奥本海默。
又扯远了,类似的超计算模型还有——
Blum-Shub-Smalemachine;无限精度神经网络模型;模糊图灵机;相对论效应计算机;芝诺机;Fast-growingconstructsOracle;Self-similar元胞自动机;极限递归模型;波计算机;量子引力计算机;CoupledTuringMachines;Hypertask模型;快子模型;概率图灵机;无限状态图灵机等等……
其中有一类分外吸引两位分寒的注意!
那叫做:封闭类时曲线计算机。
其原理,是利用广义相对论中拥有闭合时间曲线的特殊时空来辅助计算机运算,就如同给计算机配了一台时间机器。
然后解题就如同源代码、遗落战境,一次过不了关,那就取档重来一次,记忆不断累加,错误选项不断排除,而时间陷入循环并不会前进……
直到做出题目的那一刻,也就是出题的下一刻!
如此一来,似乎不可计算的蔡廷常数是不是就可以巧妙的计算出来了?
请收藏:https://m.tushu9.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)