数理論理学 (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "数理論理学" in Japanese language version.

refsWebsite

Global rank Japanese rank

178^th place

12^th place

low place

low place

kotobank.jp (Global: 178^th place; Japanese: 12^th place)

wikipedia.org (Global: low place; Japanese: low place)

en.wikipedia.org

以下、『岩波　数学入門辞典』からの引用^[4]。

数学基礎論
　foundations of mathematics

　数理論理学や超数学とほぼ同じ意味で，論理を扱う数学の一分野である． … ゲーデルの不完全性定理は有限の立場（形式主義）で数学の無矛盾性を証明することはできないことを示した．ゲンツェン（Gentzen）は，有限の立場より緩い制限のもとで自然数論の無矛盾性を証明した．
　数学基礎論は計算機科学とも密接に結びついている．^[4]