都是上个世纪的研究了。
从1936年开始，其后几年，算是奠定了现代计算机的理论基础，此后就是工业化、微型化、规模集成、摩尔定律……只有工程上的突破，再没有理论上的创新了。
但是，真的如此吗？
科学家们好不容易开辟了一个领域，会满足于取得的成绩，就此踯躅不前？
不存在的！
事实上没有多久，科学家们就对图灵描述的可计算性不满足了。开始思考有没有比图灵机更强的，可以实现图灵机无法计算的难题的新模型。
也就是超计算模型！
量子计算机就是其中一种。
不过其计算能力本质上还是与图灵机等价，只是计算复杂度要优秀的多。可以把指数类难题降级到多项式时间内。
这就结束了吗？
当然不会！
除了量子计算机，还有阿兰·图灵本人提出的，通过喻示“黑箱”来搞定“判定性问题”的喻示机。
而之后的大部分超计算模型，也都是基于喻示机的概念——通过将其他特性引入图灵机，使其不受先前的计算能力限制。
所以阿兰·图灵伟大，被誉为“计算机科学之父”、“人工智能之父”，同样十分著名的冯·诺依曼只是“现代计算机之父”。
实在是二人的关系就仿佛提出了质能方程的爱因斯坦，与组织建造了原子弹的奥本海默。
又扯远了，类似的超计算模型还有——
Blum-Shub-Smale mae；无限精度神经网络模型；模糊图灵机；相对论效应计算机；芝
第417章 封闭类时，超计算(3/7)