[搜集,小资料] 理论计算机模型的名字
图灵 Alan Mathison Turing, 1912-06-23 ~ 1954-06-07
https://cdn.britannica.com/81/191581-050-8C0A8CD3/Alan-Turing.jpg
https://www.britannica.com/biography/Alan-Turing
下面主要来自知乎“有没有比图灵机能力更强的计算模型?”
https://www.zhihu.com/question/21579465
感谢!
一、超计算(Hyper computation)模型
A. 谕示机. (Oracle Machine)
B. Blum–Shub–Smale machine.
C. 量子计算机.
D. 相对论时间效应.
E. 封闭类时曲线计算机.
F. 我们熟知的神经网络:前提是具有无限精度.
G. 无限时间图灵机.
H. 模糊图灵机.(Fuzzy Turing Machine)
I. 广义相对论中的 Malament-Hogarth 时空.
J. 芝诺机.(Zeno Mchine)
K. Fast-growing constructs Oracle.
L. Active Element Machine.
M. Self-similar cellular automata.
N. 极限递归.
O. 波计算机.
Q. 超递归算法(Super-recursive algorithm).
R. 量子引力计算机.
S. Coupled Turing Machines .
T. 量子模型.
U. 量子模型二.
V. Hypertask 模型.
W. 快子模型.
二、至于基于超算模型的计算机能否在我们的宇宙中制造,也就是超计算的物理实现可能性,我们目前无法得知,因为:
I. "丘奇-图灵" 论题 (Church-Turing thesis)
II. 目前物理上的限制.
量子物理框架下的布莱梅曼极限(Bremermann's limit);
贝肯斯坦界限(Bekenstein Bound):量子物理框架下一个质量为 m 半径为R的球体所能储存的最多信息量为 I 则 ;该上限使得真正处理实数的计算机(如 Blum–Shub–Smale machine 和 Real computer)不可实现,即便是在没有热噪声的假想环境里也不例外。
热力学极限,再加上大脑中的各种电信号,环境中的噪音,使得无限神经网络不可实现。
数学对象并不一定总可以在物理上找到对应。目前在所有的 Hypercomputation 模型中绝大部分都只是只能在数学上成立的"数学机器",在物理上是无法实现的。
几乎所有的候选量子引力(quantum gravity)模型都希望时空是离散的,这是个很大的麻烦。
三、计算模型有许多,看这里:Hypercomputation
1. 量子计算机
2. 时间旅行机器,只要能送一个bit回过去就行
四、Atitit 自动机列表 attilax 总结
1.2. 四种自动机 fsm pda lba turin 2 1
2. 其他类型自动机 2
2.1. 时序机 波斯特机 随即存储机; 2
2.2. 堆栈自动机;无限自动机 概率自动机和细胞自动机 2
2.3. 统计自动机 2
2.4. 元胞自动机。 2
3. 超计算(Hyper computation)模型 3
3.1. A.谕示机. (Oracle Machine) 3
3.2. B.BSSM Blum–Shub–Smale machine 3
3.3. C.量子计算机. 3
3.4. 相对论时间效应 3
3.5. E. 封闭类时曲线计算机 3
3.6. F.我们熟知的神经网络. 4
3.7. H.模糊图灵机.(Fuzzy Turing Machine) 4
3.8. J.芝诺机(Zeno Mchine)
3.9. K.Fast-growing constructs Oracle. 4
3.10. Fair nondeterminism . 4
3.11. M.实计算机(Real computer) 4
3.12. N.极限递归 4
3.13. O.演化计算机 4
3.14. P.波计算机 4
3.15. Q.超递归算法(Super-recursive algorithm). 4
3.16. R.量子引力计算机 4
3.17. S. Asynchronous Networks of Turing Machines 4
3.18. T. Error Prone Turing Machines 4
3.19. U.Coupled Turing Machines 4
3.20. V.量子模型. 4
3.21. X. Hypertask 模型 4
3.22. Y. 快子模型 5
3.23. SAD machine: 5
参考资料:
[1] 2023-12-18, The Church-Turing Thesis, Stanford Encyclopedia of Philosophy
https://plato.stanford.edu/entries/church-turing/
[2] 2021-06-16, Computation in Physical Systems,
Stanford Encyclopedia of Philosophy
https://plato.stanford.edu/entries/computation-physicalsystems/
[3] Toby Ord. The many forms of hypercomputation [J]. Applied Mathematics and Computation, 2006, 178(1): 143-153.
doi: 10.1016/j.amc.2005.09.076
https://www.sciencedirect.com/science/article/pii/S0096300305008404
[4] Mike Stannett. The case for hypercomputation [J].
Applied Mathematics and Computation, 2006, 178(1): 8-24.
doi: 10.1016/j.amc.2005.09.067
https://www.sciencedirect.com/science/article/pii/S0096300305008301
[5] B. Jack Copeland. Hypercomputation [J]. Minds & Machines, 2002, 112(4): 461-502.
doi: 10.1023/A:1021105915386
https://link.springer.com/article/10.1023/A:1021105915386
https://link.springer.com/content/pdf/10.1023/A:1021105915386.pdf
相关链接:
[1] 2024-01-05,[笔记,请教,原创] “自然运算”信息设备的一般理论模式
https://wap.sciencenet.cn/blog-107667-1416810.html
[2] 2024-01-04,[请教,讨论] 什么是超过“图灵机”能力的更强的计算机?
https://blog.sciencenet.cn/blog-107667-1416691.html
[3] 2024-01-02,[汇报] 2023“大事”小结
https://blog.sciencenet.cn/blog-107667-1416360.html
[4] 2023-12-29,[打听,小资料] “选择公理”与“物理符号系统假设”
https://blog.sciencenet.cn/blog-107667-1415874.html
[5] 2023-12-28,[笔记,请教,原创] “自然运算”的抗干扰能力与“长途星际航行”
https://blog.sciencenet.cn/blog-107667-1415711.html
[6] 2023-12-27,[笔记,请教,原创] “自然运算”有什么创新?
https://blog.sciencenet.cn/blog-107667-1415592.html
[7] 2023-12-26,[优先权?] “自然运算”原理示意图(草图,2023-12-20 绘制)
https://blog.sciencenet.cn/blog-107667-1415467.html
[8] 2023-12-25,[原创有多难] 饺子汤 (关联"P对NP, P vs NP, P versus NP"的答案)
https://blog.sciencenet.cn/blog-107667-1415335.html
感谢您的指教!
感谢您指正以上任何错误!
感谢您提供更多的相关资料!
转载本文请联系原作者获取授权,同时请注明本文来自杨正瓴科学网博客。
链接地址:https://wap.sciencenet.cn/blog-107667-1417022.html?mobile=1
收藏