「グッドスタインの定理」を解説文に含む見出し語の検索結果(1～10/33件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/25 13:57 UTC 版)「グッドスタインの定理」の記事における「計算可能関数への応用」の解説グッドスタインの定理...
ローレンス・カービー（Laurence Kirby, 1952年 - ）は、アメリカ合衆国の数学者、ニューヨーク市立大学バルーク校教授。数理論理学の研究者。1981年に、グッドスタインの定理にまつわる...
ローレンス・カービー（Laurence Kirby, 1952年 - ）は、アメリカ合衆国の数学者、ニューヨーク市立大学バルーク校教授。数理論理学の研究者。1981年に、グッドスタインの定理にまつわる...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/25 13:57 UTC 版)「グッドスタインの定理」の記事における「グッドスタイン数列の定義」の解説グッドスタイン数...
グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/25 13:57 UTC 版)「グッドスタインの定理」の記事における「グッドスタイン数列の例」の解説初めのほうのグッド...
ルーベン・グッドスタインReuben Goodstein生誕 (1912-12-15) 1912年12月15日 イングランド、ロンドン死没1985年3月8日(1985-03-08)（72歳没） イング...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:11 UTC 版)「ゲーデルの加速定理」の記事における「エーレンフォイヒト・ミッシェルスキーの加速定理」の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「定義可能性、証明、計算可能性の相互関係」の解説自然数の集合の...
数理論理学においてパリス・ハーリントンの定理（ぱりすはーりんとんのていり、英: Paris–Harrington theorem）は、ラムゼー理論におけるある規則、すなわち強化版有限ラムゼーの...
< 前の結果 | 次の結果 >