「ポストの定理」を解説文に含む見出し語の検索結果(1～10/24件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:09 UTC 版)「ポストの定理」の記事における「ポストの定理とその系」の解説ポストの定理は、算術的階層と...
ポストの定理（英: Post's theorem）は、計算可能性理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。背景ポストの定理は定義可能性と再...
ポストの定理（英: Post's theorem）は、計算可能性理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。背景ポストの定理は定義可能性と再...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「算術の定義不可能性」の解説真の算術での中心的な結果は、アルフ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「二階算術の真の理論」の解説二階算術の真の理論は二階算術の言語...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「計算可能性の性質」の解説上記で論じたように、タルスキの定理に...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
ナビゲーションに移動検索に移動エミール・レオン・ポスト生誕1897年2月11日 ロシア帝国（現： ポーランド）アウグストゥフ死没1954年4月21日 アメリカ合衆国 ニューヨーク研究分野数学出身校コロ...
ナビゲーションに移動検索に移動エミール・レオン・ポスト生誕1897年2月11日 ロシア帝国（現： ポーランド）アウグストゥフ死没1954年4月21日 アメリカ合衆国 ニューヨーク研究分野数学出身校コロ...
< 前の結果 | 次の結果 >