超计算

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。 此條目需要擴充。 (2017年12月20日) 请協助改善这篇條目，更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 此條目需要精通或熟悉相关主题的编者参与及协助编辑。 (2017年12月20日) 請邀請適合的人士改善本条目。更多的細節與詳情請參见討論頁。 此條目需要补充更多来源。 (2017年12月20日) 请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。 致使用者：请搜索一下条目的标题（来源搜索："超计算" — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源（判定指引）。 此條目翻譯品質不佳。 (2017年12月20日) 此译文可能不准确、不流畅。請在熟悉中文和理解原文文本的前提下，協助翻譯本條目或重新編寫。请避免出現翻译腔，并不要使用未经校对的机器翻译。明顯拙劣的翻譯請改掛{{d|G13}}提交刪除。

超计算或超图灵计算可以输出非图灵可计算结果的计算模型。例如，一台可以解决停机问题的机器可算作一台超计算机；可以正确推演皮亚诺算术中每一个状态的机器亦然。

邱奇－图灵论题指出，任何可以用有限算法以纸笔计算的"可有效计算"函数都能被图灵机计算。超计算机能计算图灵机无法计算、即邱奇－图灵论题中不可计算的的函数。

严格说来概率图灵机的输出是不可计算的。然而，大多数超计算方向的文献更关注有用的计算而非随机、不可计算的函数。

• Mario Antoine Aoun, "Advances in Three Hypercomputation Models （页面存档备份，存于互联网档案馆）", (2016)
• L. Blum, F. Cucker, M. Shub, S. Smale, Complexity and Real Computation, Springer-Verlag 1997. General development of complexity theory for abstract machines that compute on real numbers instead of bits.
• Burgin, M. S. (1983) Inductive Turing Machines, Notices of the Academy of Sciences of the USSR, v. 270, No. 6, pp. 1289–1293
• Keith Douglas. Super-Turing Computation: a Case Study Analysis （页面存档备份，存于互联网档案馆） (PDF), M.S. Thesis, Carnegie Mellon University, 2003.
• Mark Burgin (2005), Super-recursive algorithms, Monographs in computer science, Springer. ISBN 0-387-95569-0
• Cockshott, P. and Michaelson, G. Are there new Models of Computation? Reply to Wegner and Eberbach, The computer Journal, 2007
• Cooper, S. B. Definability as hypercomputational effect (PDF). Applied Mathematics and Computation. 2006, 178: 72–82 [2017-12-20]. doi:10.1016/j.amc.2005.09.072. （原始内容 (PDF)存档于2011-07-24）. 
• Cooper, S. B.; Odifreddi, P. Incomputability in Nature. S. B. Cooper and S. S. Goncharov (编). Computability and Models: Perspectives East and West (PDF). Plenum Publishers, New York, Boston, Dordrecht, London, Moscow. 2003: 137–160 [2017-12-20]. （原始内容 (PDF)存档于2011-07-24）. 
• Copeland, J. (2002) Hypercomputation, Minds and machines, v. 12, pp. 461–502
• Davis, Martin (2006), "The Church–Turing Thesis: Consensus and opposition". Proceedings, Computability in Europe 2006. The requested URL /~simon/TEACH/28000/DavisUniversal.pdf was not found on this server. Lecture Notes in Computer Science, 3988 pp. 125–132
• Hagar, A. and Korolev, A., Quantum Hypercomputation—Hype or Computation? （页面存档备份，存于互联网档案馆）, (2007)
• Müller, Vincent C. On the possibilities of hypercomputing supertasks. Minds and Machines. 2011, 21 (1): 83–96 [2017-12-20]. doi:10.1007/s11023-011-9222-6. （原始内容存档于2017-12-22）. 
• Ord, Toby. Hypercomputation: Computing more than the Turing machine can compute （页面存档备份，存于互联网档案馆）: A survey article on various forms of hypercomputation.
• Piccinini, Gualtiero: Computation in Physical Systems （页面存档备份，存于互联网档案馆）
• Putz, Volkmar and Karl Svozil, Can a computer be "pushed" to perform faster-than-light? （页面存档备份，存于互联网档案馆）, (2010)
• Rogers, H. (1987) Theory of Recursive Functions and Effective Computability, MIT Press, Cambridge Massachusetts
• Mike Stannett, Mike. X-machines and the halting problem: Building a super-Turing machine. Formal Aspects of Computing. 1990, 2 (1): 331–341. doi:10.1007/BF01888233. 
• Mike Stannett, The case for hypercomputation, Applied Mathematics and Computation, Volume 178, Issue 1, 1 July 2006, Pages 8–24, Special Issue on Hypercomputation
• Syropoulos, Apostolos (2008), Hypercomputation: Computing Beyond the Church–Turing Barrier (preview （页面存档备份，存于互联网档案馆）), Springer. ISBN 978-0-387-30886-9
• Turing, Alan. Systems of logic based on ordinals. Proceedings of the London Mathematical Society. 1939, 45: 161–228. doi:10.1112/plms/s2-45.1.161. 

• Hypercomputation Research Network （页面存档备份，存于互联网档案馆）