71位純化定理推定知名度 0.06%ゲーム理論における純化定理 (じゅんかていり,purification theorem) は,ノーベル賞受賞者ジョン・ハーサニの 1973 年論文による貢献である.この定理は,…
73位ヴォルテラ積分方程式推定知名度 0.05%の1908年の学位論文「Sur les équations de Volterra」において研究された。ラレスクはその後、1911年に積分方程式に関する初の著書を執筆した。ヴォ…
74位ディリクレの単数定理推定知名度 0.05%数学において、ディリクレの単数定理(Dirichlet's unit theorem)は、ペーター・グスタフ・ディリクレ(Peter Gustav Dirichlet)による代…
75位有限モデル理論推定知名度 0.05%有限モデル理論(英: Finite model theory)とは、モデル理論の一種であり、一階述語論理などの論理言語を有限構造(有限群、グラフ、データベース、多くの計算模型な…
76位パースの法則推定知名度 0.05%パースの法則(パースのほうそく)は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ論理学における法則である。彼の最初の命題論理の公理化において、この法則を公理に…
78位エルブランの定理推定知名度 0.05%エルブランの定理(Herbrand's theorem)は1930年にジャック・エルブランが発表した数理論理学上の基本定理である。エルブランの定理は様々な表現方法があるが、単純…