Hatena Blog Tags

数学基礎論

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

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

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

ネットで話題

もっと見る

関連ブログ

令和5年2月23日、西成活裕著の『とんでもなく役に立つ数学』という書籍を読破した。 西成活裕著の『とんでもなく役に立つ数学』という書籍はとんでもなく面白い書籍だった。数学の理論等をふんだんに紹介しながら実社会における諸問題の解決に数学が活用できることを教えてくれる。是非、高校生には読んでいただきたい一冊である。私も高校生の時、いきなり三角関数の授業が始まった時、これがどんなに有用なものなのかは分からなかった。高校で学ぶ「微分・積分」、「ベクトル」、「図形」、「三角関数」、「二次方程式」が、大学の数学に

令和5年2月23日、西成活裕著の『とんでもなく役に立つ数学』という書籍を読破した。 西成活裕著の『とんでもなく役に立つ数学』という書籍はとんでもなく面白い書籍だった。数学の理論等をふんだんに紹介しながら実社会における諸問題の解決に数学が活用できることを教えてくれる。是非、高校生には読んでいただきたい一冊である。私も高校生の時、いきなり三角関数の授業が始まった時、これがどんなに有用なものなのかは分からなかった。高校で学ぶ「微分・積分」、「ベクトル」、「図形」、「三角関数」、「二次方程式」が、大学の数学における「代数」、「解析」、「幾何」に繋がっていること(41頁参照)。学習する上で、全体との位置…