「算術的なる」を解説文に含む見出し語の検索結果(21～30/583件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「ライスの定理と算術的階層」の解説ライスの定理は、すべての自明...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/19 05:20 UTC 版)「逆数学」の記事における「算術的超限再帰 ATR0」の解説ATR 0 {\display...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 04:36 UTC 版)「算術的階層」の記事における「自然数の集合の算術的階層」の解説ペアノ算術の言語で書かれた...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 10:23 UTC 版)「記述集合論」の記事における「エフェクティブ記述集合論」の解説エフェクティブ記述集合論の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 04:36 UTC 版)「算術的階層」の記事における「数式の算術的階層」の解説算術的階層では、ペアノ算術の言語で...
出典:『Wiktionary』 (2021/08/22 00:26 UTC 版)発音(?)と↗ーけ↘ーがく名詞統 計 学（とうけいがく）ある集団について算術的な手法を用いてその特性...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「チューリング計算可能性の一般化」の解説Sacks (1990...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「算術の定義不可能性」の解説真の算術での中心的な結果は、アルフ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 07:07 UTC 版)「チューリング還元」の記事における「より強い還元」の解説チャーチ＝チューリングのテーゼに...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/22 09:30 UTC 版)「ゲーデル数」の記事における「形式数学への応用」の解説ある形式理論のゲーデル数化が確立さ...