61位事例ベース推論推定知名度 0.18%事例ベース推論（じれいベースすいろん、Case-based reasoning、CBR）は、過去の類似問題の解法に基づいて類推して新たな問題を解く推論の手法またはその過程である…
62位ワニのパラドックス推定知名度 0.1%ワニのパラドックスは、自己言及のパラドックスのひとつ。人食いワニのジレンマともいわれる。このパラドックスは、不思議の国のアリスの作者として知られる数学者ルイス・キャロルが創作し…
63位カリーのパラドックス推定知名度 0.1%カリーのパラドックス（Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生…
64位SMN定理推定知名度 0.08%s<sub>mn</sub>定理もしくはパラメータ定理とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これ…
65位グッドスタインの定理推定知名度 0.07%グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる…
66位メタ理論推定知名度 0.06%メタ理論（メタりろん、metatheory）とは、理論についての理論のことである。あらゆる研究領域はそれぞれ、何らかのメタ理論を共有しており、それは明示された正しい理論である場…
67位有限モデル理論推定知名度 0.05%有限モデル理論（英: Finite model theory）とは、モデル理論の一種であり、一階述語論理などの論理言語を有限構造（有限群、グラフ、データベース、多くの計算模型な…
68位パースの法則推定知名度 0.05%パースの法則（パースのほうそく）は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ論理学における法則である。彼の最初の命題論理の公理化において、この法則を公理に…
70位エルブランの定理推定知名度 0.05%エルブランの定理（Herbrand's theorem）は1930年にジャック・エルブランが発表した数理論理学上の基本定理である。エルブランの定理は様々な表現方法があるが、単純…
事例ベース推論推定知名度 0.18%事例ベース推論（じれいベースすいろん、Case-based reasoning、CBR）は、過去の類似問題の解法に基づいて類推して新たな問題を解く推論の手法またはその過程である…事例ベース推論推定知名度 0.18%事例ベース推論（じれいベースすいろん、Case-based reasoning、CBR）は、過去の類似問題の解法に基づいて類推して新たな問題を解く推論の手法またはその過程である…
