「ヒルベルト・プログラム」を解説文に含む見出し語の検索結果(1～10/77件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:04 UTC 版)「ゲーデルの不完全性定理」の記事における「不完全性定理によるヒルベルト・プログラムの発展...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/02/14 06:33 UTC 版)「竹内外史」の記事における「数学基礎論」の解説ゲーデルによって、1931年、算術以上の数...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/24 15:46 UTC 版)「論理学の歴史」の記事における「メタ数学の時代」の解説ゲーデルとタルスキの名前が1930...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/06 04:12 UTC 版)「クルト・ゲーデル」の記事における「オーストリア=ハンガリー帝国時代」の解説オーストリア...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「一貫性（無矛盾性）の証明」の解説先に述べたように、ヒルベルト・...
メタ理論（メタりろん、英: metatheory）とは、理論についての理論のことである。あらゆる研究領域はそれぞれ、何らかのメタ理論を共有しており、それは明示された正しい理論である場合もあれば...
< 前の結果 | 次の結果 >