再帰理論
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/24 16:20 UTC 版)
再帰理論（さいきりろん、英：Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。
- ^ 彼らの基本的な論文の多くは Martin Davis The Undecidable (1965) に集成されている。
- ^ Conference on Logic, Computability and Randomness, January 10–13, 2007.
- ^ The homepage of Andre Nies has a list of open problems in Kolmogorov complexity
- ^ 訳注：リンクは原文ママ。正しくは一階算術（ペアノ算術）とすべきかも知れない
- ^ MathSciNetで検索すると、"computably enumerable" や "c.e." といった文字列が題名にある論文が多数存在している（注:購読者以外は検索できない）。
- ^ Lance Fortnow, "Is it Recursive, Computable or Decidable?," 2004年2月15日、2006年1月9日参照。
- ^ Stephen G. Simpson, "What is computability theory?," FOM email list, 1998年8月24日、2006年1月9日参照。
- ^ Harvey Friedman, "Renaming recursion theory," FOM email list, 1998年8月28日、2006年1月9日参照。
[続きの解説]
「再帰理論」の続きの解説一覧
固有名詞の分類
このページでは「ウィキペディア」から再帰理論を検索した結果を表示しています。
Weblioに収録されているすべての辞書から再帰理論を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から再帰理論を検索
Weblioに収録されているすべての辞書から再帰理論を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から再帰理論を検索 - 再帰理論のページへのリンク
