博文
[搜集，小资料] 理论计算机模型的名字
||
[搜集，小资料] 理论计算机模型的名字
图灵 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
上一篇：感谢《分布式能源》2023年度优秀审稿专家证书！
下一篇：[重复就是力量] 多栅极场效应管：献给全人类！
