fbpx
维基百科

超计算

一月 01, 1970

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

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

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

扩展阅读 编辑

  • 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. (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 (编). (PDF). Plenum Publishers, New York, Boston, Dordrecht, London, Moscow. 2003: 137–160 [2017-12-20]. （原始内容 (PDF)存档于2011-07-24）. 
  • Copeland, J. (2002) , 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, , 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. 

外部链接 编辑

一月 01, 1970
超计算, 本條目存在以下問題, 請協助改善本條目或在討論頁針對議題發表看法, 此條目需要擴充, 2017年12月20日, 请協助改善这篇條目, 更進一步的信息可能會在討論頁或扩充请求中找到, 请在擴充條目後將此模板移除, 此條目需要精通或熟悉相关主题的编者参与及协助编辑, 2017年12月20日, 請邀請適合的人士改善本条目, 更多的細節與詳情請參见討論頁, 此條目需要补充更多来源, 2017年12月20日, 请协助補充多方面可靠来源以改善这篇条目, 无法查证的内容可能會因為异议提出而被移除, 致使用者, 请搜索一. 本條目存在以下問題 請協助改善本條目或在討論頁針對議題發表看法 此條目需要擴充 2017年12月20日 请協助改善这篇條目 更進一步的信息可能會在討論頁或扩充请求中找到 请在擴充條目後將此模板移除 此條目需要精通或熟悉相关主题的编者参与及协助编辑 2017年12月20日 請邀請適合的人士改善本条目 更多的細節與詳情請參见討論頁 此條目需要补充更多来源 2017年12月20日 请协助補充多方面可靠来源以改善这篇条目 无法查证的内容可能會因為异议提出而被移除 致使用者 请搜索一下条目的标题 来源搜索 超计算 网页 新闻 书籍 学术 图像 以检查网络上是否存在该主题的更多可靠来源 判定指引 此條目翻譯品質不佳 2017年12月20日 翻譯者可能不熟悉中文或原文語言 也可能使用了機器翻譯 請協助翻譯本條目或重新編寫 并注意避免翻译腔的问题 明顯拙劣的翻譯請改掛 a href Template D html class mw redirect title Template D d a a href Wikipedia CSD html G13 class mw redirect title Wikipedia CSD G13 a 提交刪除 超计算或超图灵计算可以输出非图灵可计算结果的计算模型 例如 一台可以解决停机问题的机器可算作一台超计算机 可以正确推演皮亚诺算术中每一个状态的机器亦然 邱奇 图灵论题指出 任何可以用有限算法以纸笔计算的 可有效计算 函数都能被图灵机计算 超计算机能计算图灵机无法计算 即邱奇 图灵论题中不可计算的的函数 严格说来概率图灵机的输出是不可计算的 然而 大多数超计算方向的文献更关注有用的计算而非随机 不可计算的函数 扩展阅读 编辑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 Muller 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 页面存档备份 存于互联网档案馆 取自 https zh wikipedia org w index php title 超计算 amp oldid 61800474, 维基百科，wiki，书籍，书籍，图书馆，

文章

，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。