Hatena Blog Tags

数学基礎論

(サイエンス)
すうがくきそろん

Foundations of mathematics
数学の危機に端を発した数学の分野。数学基礎論という名前にある数学の基礎付けは一面に過ぎず、より広範で豊かな理論を擁する分野である。記号論理学、集合論、モデル理論、再帰理論、逆数学などを含む。

  • 関連項目
    • 記号論理学
    • 公理的集合論
    • モデル理論
    • 再帰理論
    • 逆数学
    • 計算機科学
    • 形式主義
    • 論理主義
このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

ネットで話題

もっと見る

関連ブログ