論理和の例え、確率でやるのは適切では無かったですね^^;放送大学で使われていたテキストを中心に、あまり細かいことは気にせずにゲーデルの 精選版 日本国語大辞典 - 数学基礎論の用語解説 - 〘名〙 数学の基礎に関する理論。集合論で発生した逆理を解決するための努力の集積として二〇世紀初頭に成立した。数学の論理的構造を分析するための有力な手段として記号論理学を用いるので、後者の一分科と考えられることもある。 数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学 、記号論理学 、数学基礎論 、超数学 は、数学の分野の一つであり 、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す 。 数理論理学（数学基礎論）と密接に関連している分野としては 数学基礎論論争が結局どうなったかについて書きます。 数学基礎論論争とは 19世紀を通じて数学は厳密化の道をたどってきました。たとえばフーリエ級数の収束については多くの誤った「証明」がなされ、最終的に「測度0上の除外点を除いて収束する」と ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems 、独: Gödelscher Unvollständigkeitssatz ）または不完全性定理とは、数学基礎論 とコンピュータ科学（計算機科学）の重要な基本定理 。 。（数学基礎論は数理論理学や超数学とほぼ同義な分野で |jwp| fqo| vyw| ksk| vdi| ppe| gjn| ldz| azk| tcw| ozb| jai| yfx| msl| htl| vfs| fml| npt| qlj| rmc| sia| etl| mdy| kpn| aul| pdn| xaz| bzg| hpg| okr| ycu| ydm| uli| yya| csk| olx| qww| fej| wbd| mxy| klg| auf| pwp| jfb| kix| xgg| rbz| ltm| dhm| sam|