31位社会選択理論推定知名度 0.28%社会選択理論(しゃかいせんたくりろん、social choice theory)は、個人の持つ多様な選好(preference)を基に、個人の集合体としての社会の選好の集計方法…
32位情報理論推定知名度 0.27%情報理論(じょうほうりろん、Information theory)は、情報・通信を数学的に論じる学問である。応用数学の中でもデータの定量化に関する分野であり、可能な限り多くのデ…
33位マーティンの公理推定知名度 0.26%数学の集合論におけるマーティンの公理(マーティンのこうり、Martin's axiom, MA)とは、マーティン とソロヴェイ によって1970年に提唱された、ZFCと独立な命…
34位線型微分方程式推定知名度 0.24%線型微分方程式(せんけいびぶんほうていしき、linear differential equation)は、微分を用いた線型作用素(線型微分作用素) と未知関数 と既知関数 を用…
35位ガロア理論の基本定理推定知名度 0.24%数学では、ガロア理論の基本定理(fundamental theorem of Galois theory)は、ある種の体の拡大の構造を記述した結果である。定理の最も基本的な形は…
36位ペル方程式推定知名度 0.24%ペル方程式(ペルほうていしき、Pell's equation)とは平方数ではない自然数nに対して、下記の方程式の整数解を求める問題である。「整数解」「有理数解」という条件を付け…
37位再帰理論推定知名度 0.24%再帰理論(さいきりろん、Recursion theory)は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。発展の過程で、この分野は…
38位正則性公理推定知名度 0.23%正則性公理(せいそくせいこうり、axiom of regularity)は、別名基礎の公理(きそのこうり、axiom of foundation) とも呼ばれ、ZF公理系を構成…
39位導出原理推定知名度 0.22%導出原理(どうしゅつげんり、resolution principle)とは、により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証…
40位ゲーデルの完全性定理推定知名度 0.21%数理論理学においてゲーデルの完全性定理(ゲーデルのかんぜんせいていり、Gödel's completeness theorem、Gödelscher Vollständigke…