A.I. Maltsevによる一般化された定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > A.I. Maltsevによる一般化された定理の意味・解説 

A.I. Maltsevによる一般化された定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/03 01:23 UTC 版)

クリーネの再帰定理」の記事における「A.I. Maltsevによる一般化された定理」の解説

アナトリー・マルツェフはプリコンプリート・ナンバリングを持つ任意の集合対す一般化され再帰定理示した[要出典]。アクセプタブル・ナンバリングは計算可能関数集合対するプリコンプリート・ナンバリングであるからクリーネの再帰定理一般化され定理特別な場合として得られる。 プリコンプリート・ナンバリング ν {\displaystyle \nu } を所与とすると、任意の部分計算可能関数 f : N 2 → N {\displaystyle f:\mathbb {N} ^{2}\to \mathbb {N} } に対して全域計算可能関数 t : N → N {\displaystyle t:\mathbb {N} \to \mathbb {N} } が存在して、次を満たす: ν ∘ f ( n , t ( n ) ) = ν ∘ t ( n ) . {\displaystyle \nu \circ f(n,t(n))=\nu \circ t(n).}

※この「A.I. Maltsevによる一般化された定理」の解説は、「クリーネの再帰定理」の解説の一部です。
「A.I. Maltsevによる一般化された定理」を含む「クリーネの再帰定理」の記事については、「クリーネの再帰定理」の概要を参照ください。

ウィキペディア小見出し辞書の「A.I. Maltsevによる一般化された定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「A.I. Maltsevによる一般化された定理」の関連用語

A.I. Maltsevによる一般化された定理のお隣キーワード

A.I. Maltsevによる一般化された定理

AIM-4C/D

AIM-4E/F

AIM-4G

AIM-54A

AIM-54B

AIM-54C

検索ランキング

   

英語⇒日本語
日本語⇒英語
   



A.I. Maltsevによる一般化された定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのクリーネの再帰定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS