「数理論理学」を解説文に含む見出し語の検索結果(21～30/868件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「一階述語論理」の解説詳細は「一階述語論理」を参照 一階論理...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「再帰理論」の解説詳細は「再帰理論」を参照 再帰理論（計算可...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「非古典論理と様相論理」の解説様相論理は追加の様相演算子を含...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「証明論と構成的数学」の解説詳細は「証明論」を参照 証明論は...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/15 14:55 UTC 版)「トポス (数学)」の記事における「数理論理学との関わり」の解説Kripke-Joyal...
ローレンス・カービー（Laurence Kirby, 1952年 - ）は、アメリカ合衆国の数学者、ニューヨーク市立大学バルーク校教授。数理論理学の研究者。1981年に、グッドスタインの定理にまつわる...
ローレンス・カービー（Laurence Kirby, 1952年 - ）は、アメリカ合衆国の数学者、ニューヨーク市立大学バルーク校教授。数理論理学の研究者。1981年に、グッドスタインの定理にまつわる...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「アルゴリズム的に非可解な問題」の解説再帰理論の重要な部分領...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「モデル理論」の解説詳細は「モデル理論」を参照 モデル理論は...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「他の分科の始まり」の解説アルフレッド・タルスキはモデル理論...