51位田中一之推定知名度 0.35%田中 一之（たなか かずゆき、1955年8月18日 - ）は、日本の数学者、論理学者。東北大学大学院理学研究科数学専攻教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で…
52位モデル理論推定知名度 0.34%モデル理論（model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ：集合論の宇宙）を研究（分類）する数学の分野である。モデル理論における研…
53位新井敏康推定知名度 0.33%新井 敏康（あらい としやす、1958年 - ）は日本の数学者、論理学者。東京都生まれ。東京大学教養学部基礎科学科卒。筑波大学数学系大学院博士課程修了。理学博士。千葉大学大学院…
54位フョードル・イポリトビッチ・シチェルバツコイ推定知名度 0.32%frame|シチェルバツコイフョードル・イポリトビッチ・シチェルバツコイ、シシェルバツコイ、スチェルバツキーもしくはスチェルバッコイ(Fyodor Shcherbatskoy、…
55位マーティンの公理推定知名度 0.26%数学の集合論におけるマーティンの公理（マーティンのこうり、Martin's axiom, MA）とは、マーティン とソロヴェイ によって1970年に提唱された、ZFCと独立な命…
56位公正世界仮説推定知名度 0.26%公正世界仮説(こうせいせかいかせつ、just-world hypothesis)または公正世界誤謬(こうせいせかいごびゅう、just-world fallacy)とは、この世界…
57位再帰理論推定知名度 0.24%再帰理論（さいきりろん、Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。発展の過程で、この分野は…
58位導出原理推定知名度 0.22%導出原理（どうしゅつげんり、resolution principle）とは、により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証…
59位ゲーデルの完全性定理推定知名度 0.21%数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、Gödel's completeness theorem、Gödelscher Vollständigke…
60位ブラリ＝フォルティのパラドックス推定知名度 0.19%ブラリ＝フォルティのパラドックス(Burali-Forti paradox)とは、数学の集合論におけるパラドックスの一つであり、「全ての順序数の集合」という概念を素朴に導入する…
田中一之推定知名度 0.35%田中 一之（たなか かずゆき、1955年8月18日 - ）は、日本の数学者、論理学者。東北大学大学院理学研究科数学専攻教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で…田中一之推定知名度 0.35%田中 一之（たなか かずゆき、1955年8月18日 - ）は、日本の数学者、論理学者。東北大学大学院理学研究科数学専攻教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で…
