数学基礎論 - Wikipedia

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "数学基礎論" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年11月） 数学基礎論（すうがくきそろん、英: foundations of mathematics[1], mathematical logic and foundations of mathematics[2]）は、現在の日本では、もっぱら数理論理学[3][4][5]（mathematical logic[3]）を指す言葉として使われる[3][4][5][注 1]。 概要[編集] 数学書での解説[編集] 新井敏康『数学基礎論 Mathematical Logic』（増

[daybeforeyesterday]

わぁい数学基礎論、あかり数学基礎論大好き

[Humisawa]

“ヒルベルトは、数学を記号によるゲームとみなして無矛盾性を証明する形式主義によるヒルベルト・プログラムを提唱したが、ゲーデルの不完全性定理によって、その実現の不可能性が示された。”

[toru-kanimiso]

計画　ルール

[withteeth]

数学基礎論は本来の意味していた数学の基礎付けの活動から離れ、数理論理学、モデル理論、集合論等の数学の総称となり、計算機科学の基礎と発展に大きく寄与した。

[mind]

データ型、関数の概念は…。机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を ――もっともぶっ飛んだ空論が、現実の身近なcomputer技術の中でぐるぐる回っているという…