「算術的階層」を解説文に含む見出し語の検索結果(1～10/158件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 04:36 UTC 版)「算術的階層」の記事における「相対化算術的階層」の解説集合 X が 集合 Y に対して再...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「ライスの定理と算術的階層」の解説ライスの定理は、すべての自明...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 04:36 UTC 版)「算術的階層」の記事における「自然数の集合の算術的階層」の解説ペアノ算術の言語で書かれた...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 10:23 UTC 版)「記述集合論」の記事における「エフェクティブ記述集合論」の解説エフェクティブ記述集合論の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 04:36 UTC 版)「算術的階層」の記事における「数式の算術的階層」の解説算術的階層では、ペアノ算術の言語で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 04:36 UTC 版)「算術的階層」の記事における「算術還元性と次数」の解説算術還元性は、チューリング還元性と...
ナビゲーションに移動検索に移動算術的階層（さんじゅつてきかいそう、英: Arithmetical hierarchy）は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類...
ナビゲーションに移動検索に移動算術的階層（さんじゅつてきかいそう、英: Arithmetical hierarchy）は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/04/21 00:17 UTC 版)「アルゴリズム的ランダムな無限列」の記事における「マルティンレーフランダムの性質の例」の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「算術の定義不可能性」の解説真の算術での中心的な結果は、アルフ...
< 前の結果 | 次の結果 >